Get your next eBook for only 9.99! Stock up on Springer Protocols! Available through Aug 17, 2018.

Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Editors: Hong, Hoon, Wang, Dongming (Eds.)

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-540-31363-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-31332-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (12 chapters)

  • Mechanical Theorem Proving in Computational Geometry

    Meikle, Laura I. (et al.)

    Pages 1-18

  • Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness

    Robu, Judit (et al.)

    Pages 19-33

  • Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

    Chen, Xuefeng (et al.)

    Pages 34-43

  • Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides

    Pech, Pavel

    Pages 44-58

  • Symbolic Solution of a Piano Movers’ Problem with Four Parameters

    Yang, Lu (et al.)

    Pages 59-69

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-540-31363-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-31332-8
  • 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
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Editors
  • Hoon Hong
  • Dongming Wang
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3763
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31363-2
DOI
10.1007/11615798
Softcover ISBN
978-3-540-31332-8
Edition Number
1
Number of Pages
X, 213
Topics