Hundreds of Mathematics books at half price + FREE shipping! Get yours 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 $69.99
price for USA (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 $89.99
price for USA
  • 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 $69.99
price for USA (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 $89.99
price for USA
  • 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
The Editor(s) (if applicable) and The Author(s) 2018
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