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
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