zbMATH — the first resource for mathematics

Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. (English) Zbl 1132.68006
Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). x, 213 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1099.68005).
Indexed articles:
Chen, Xiaoyu; Wang, Dongming, Towards an electronic geometry textbook, 1-23 [Zbl 1195.68091]
Hales, Thomas C., Equidecomposable quadratic regions, 24-38 [Zbl 1195.68104]
Janičić, Predrag; Quaresma, Pedro, Automatic verification of regular constructions in dynamic geometry systems, 39-51 [Zbl 1195.68092]
Lebmeir, Peter; Richter-Gebert, Jürgen, Recognition of computationally constructed loci, 52-67 [Zbl 1195.68105]
Lewis, Robert H.; Coutsias, Evangelos A., Algorithmic search for flexibility using resultants of polynomial systems, 68-79 [Zbl 1195.68115]
Lichtblau, Daniel, Cylinders through five points: Complex and real enumerative geometry, 80-97 [Zbl 1195.68106]
Michelucci, Dominique; Foufou, Sebti, Detecting all dependences in systems of geometric constraints using the witness method, 98-112 [Zbl 1195.68107]
Montes, Antonio; Recio, Tomás, Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems, 113-138 [Zbl 1195.68093]
Narboux, Julien, Mechanical theorem proving in Tarski’s geometry, 139-156 [Zbl 1195.03019]
Pech, Pavel, On the need of radical ideals in automatic proving: A theorem about regular polygons, 157-170 [Zbl 1195.68094]
Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio, A Maple package for automatic theorem proving and discovery in 3D-geometry, 171-188 [Zbl 1195.68095]
Todd, Philip, Geometry expressions: A constraint based interactive symbolic geometry system, 189-202 [Zbl 1195.68116]
Yang, Lu; Zeng, Zhenbing, Constructing a tetrahedron with prescribed heights and widths, 203-211 [Zbl 1195.51024]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI