More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

Editors: Botana, Francisco, Recio, Tomas (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-77356-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-77355-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (13 chapters)

  • Towards an Electronic Geometry Textbook

    Chen, Xiaoyu (et al.)

    Pages 1-23

  • Equidecomposable Quadratic Regions

    Hales, Thomas C.

    Pages 24-38

  • Automatic Verification of Regular Constructions in Dynamic Geometry Systems

    Janičić, Predrag (et al.)

    Pages 39-51

  • Recognition of Computationally Constructed Loci

    Lebmeir, Peter (et al.)

    Pages 52-67

  • Algorithmic Search for Flexibility Using Resultants of Polynomial Systems

    Lewis, Robert H. (et al.)

    Pages 68-79

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-77356-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-77355-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction in Geometry
Book Subtitle
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Editors
  • Francisco Botana
  • Tomas Recio
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4869
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-77356-6
DOI
10.1007/978-3-540-77356-6
Softcover ISBN
978-3-540-77355-9
Edition Number
1
Number of Pages
X, 218
Topics