Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers /

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers / [electronic resource] : edited by Francisco Botana, Tomas Recio. - 1st ed. 2007. - X, 218 p. online resource. - Lecture Notes in Artificial Intelligence, 4869 2945-9141 ; . - Lecture Notes in Artificial Intelligence, 4869 .

Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths.

9783540773566

10.1007/978-3-540-77356-6 doi


Geometry.
Artificial intelligence.
Computer graphics.
Machine theory.
Pattern recognition systems.
Computer science--Mathematics.
Discrete mathematics.
Geometry.
Artificial Intelligence.
Computer Graphics.
Formal Languages and Automata Theory.
Automated Pattern Recognition.
Discrete Mathematics in Computer Science.

QA440-699

516
© 2024 IIIT-Delhi, library@iiitd.ac.in