TY  - BOOK
AU  - Botana,Francisco
AU  - Recio,Tomas
ED  - SpringerLink (Online service)
TI  - Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540773566
AV  - Q334-342 
U1  - 006.3 23
PY  - 2007///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computational complexity
KW  - Artificial intelligence
KW  - Computer graphics
KW  - Optical pattern recognition
KW  - Discrete groups
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Computer Graphics
KW  - Mathematical Logic and Formal Languages
KW  - Pattern Recognition
KW  - Discrete Mathematics in Computer Science
KW  - Convex and Discrete Geometry
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-77356-6
ER  -