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

researchr

You are not signed in
Sign in
Sign up

Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, Springer, 2007.

Conference: adg2007

Abstract is missing.

Towards an Electronic Geometry TextbookXiaoyu Chen, Dongming Wang. 1-23 [doi]

Equidecomposable Quadratic RegionsThomas C. Hales. 24-38 [doi]

Automatic Verification of Regular Constructions in Dynamic Geometry SystemsPredrag Janicic, Pedro Quaresma. 39-51 [doi]

Recognition of Computationally Constructed LociPeter Lebmeir, Jürgen Richter-Gebert. 52-67 [doi]

Algorithmic Search for Flexibility Using Resultants of Polynomial SystemsRobert H. Lewis, Evangelos A. Coutsias. 68-79 [doi]

Cylinders Through Five Points: Complex and Real Enumerative GeometryDaniel Lichtblau. 80-97 [doi]

Detecting All Dependences in Systems of Geometric Constraints Using the Witness MethodDominique Michelucci, Sebti Foufou. 98-112 [doi]

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner SystemsAntonio Montes, Tomás Recio. 113-138 [doi]

Mechanical Theorem Proving in Tarski s GeometryJulien Narboux. 139-156 [doi]

On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular PolygonsPavel Pech. 157-170 [doi]

A Maple Package for Automatic Theorem Proving and Discovery in 3D-GeometryEugenio Roanes-Macías, Eugenio Roanes-Lozano. 171-188 [doi]

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry SystemPhilip Todd. 189-202 [doi]

Constructing a Tetrahedron with Prescribed Heights and WidthsLu Yang, Zhenbing Zeng. 203-211 [doi]

runs on WebDSL