Lecture Notes in Artificial Intelligence
© 2006
Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Editors: Hong, Hoon, Wang, Dongming (Eds.)
Free PreviewBuy this book
- Table of contents (12 chapters)
-
-
Mechanical Theorem Proving in Computational Geometry
Pages 1-18
-
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
Pages 19-33
-
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases
Pages 34-43
-
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
Pages 44-58
-
Symbolic Solution of a Piano Movers’ Problem with Four Parameters
Pages 59-69
-
Table of contents (12 chapters)
Recommended for you
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
