Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

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