This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.
Author(s): Deepak Kapur (auth.), Dongming Wang (eds.)
Series: Lecture Notes in Computer Science 1360 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 240
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Computer Graphics; Algorithms; Geometry
Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets....Pages 1-36
Extended Dixon's resultant and its applications....Pages 37-57
Computational geometry problems in REDLOG....Pages 58-86
Probabilistic verification of elementary geometry statements....Pages 87-101
Computational synthetic geometry with Clifford algebra....Pages 102-114
Clifford algebraic calculus for geometric reasoning....Pages 115-140
Area in Grassmann geometry....Pages 141-170
Automated production of readable proofs for theorems in non-Euclidean geometries....Pages 171-188
Points on algebraic curves and the parametrization problem....Pages 189-207
Flat central configurations of four planet motions....Pages 208-217
Integration of reasoning and algebraic calculus in geometry....Pages 218-234
