Yang, Lu; Zeng, Zhenbing Constructing a tetrahedron with prescribed heights and widths. (English) Zbl 1195.51024 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 203-211 (2007). MSC: 51M20 51K05 68T15 68U05 PDF BibTeX XML Cite \textit{L. Yang} and \textit{Z. Zeng}, Lect. Notes Comput. Sci. 4869, 203--211 (2007; Zbl 1195.51024) Full Text: DOI
Todd, Philip Geometry expressions: A constraint based interactive symbolic geometry system. (English) Zbl 1195.68116 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 189-202 (2007). MSC: 68W30 51-04 51M04 PDF BibTeX XML Cite \textit{P. Todd}, Lect. Notes Comput. Sci. 4869, 189--202 (2007; Zbl 1195.68116) Full Text: DOI
Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio A Maple package for automatic theorem proving and discovery in 3D-geometry. (English) Zbl 1195.68095 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 171-188 (2007). MSC: 68T15 68U05 PDF BibTeX XML Cite \textit{E. Roanes-Macías} and \textit{E. Roanes-Lozano}, Lect. Notes Comput. Sci. 4869, 171--188 (2007; Zbl 1195.68095) Full Text: DOI
Pech, Pavel On the need of radical ideals in automatic proving: A theorem about regular polygons. (English) Zbl 1195.68094 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 157-170 (2007). MSC: 68T15 51M20 68U05 68W30 PDF BibTeX XML Cite \textit{P. Pech}, Lect. Notes Comput. Sci. 4869, 157--170 (2007; Zbl 1195.68094) Full Text: DOI
Narboux, Julien Mechanical theorem proving in Tarski’s geometry. (English) Zbl 1195.03019 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 139-156 (2007). MSC: 03B35 51-04 68T15 PDF BibTeX XML Cite \textit{J. Narboux}, Lect. Notes Comput. Sci. 4869, 139--156 (2007; Zbl 1195.03019) Full Text: DOI
Montes, Antonio; Recio, Tomás Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems. (English) Zbl 1195.68093 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 113-138 (2007). MSC: 68T15 68W30 51-04 PDF BibTeX XML Cite \textit{A. Montes} and \textit{T. Recio}, Lect. Notes Comput. Sci. 4869, 113--138 (2007; Zbl 1195.68093) Full Text: DOI
Michelucci, Dominique; Foufou, Sebti Detecting all dependences in systems of geometric constraints using the witness method. (English) Zbl 1195.68107 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 98-112 (2007). MSC: 68U05 68U07 PDF BibTeX XML Cite \textit{D. Michelucci} and \textit{S. Foufou}, Lect. Notes Comput. Sci. 4869, 98--112 (2007; Zbl 1195.68107) Full Text: DOI
Lichtblau, Daniel Cylinders through five points: Complex and real enumerative geometry. (English) Zbl 1195.68106 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 80-97 (2007). MSC: 68U05 51M04 51N20 52B05 PDF BibTeX XML Cite \textit{D. Lichtblau}, Lect. Notes Comput. Sci. 4869, 80--97 (2007; Zbl 1195.68106) Full Text: DOI
Lewis, Robert H.; Coutsias, Evangelos A. Algorithmic search for flexibility using resultants of polynomial systems. (English) Zbl 1195.68115 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 68-79 (2007). MSC: 68W30 92-08 92E10 PDF BibTeX XML Cite \textit{R. H. Lewis} and \textit{E. A. Coutsias}, Lect. Notes Comput. Sci. 4869, 68--79 (2007; Zbl 1195.68115) Full Text: DOI
Lebmeir, Peter; Richter-Gebert, Jürgen Recognition of computationally constructed loci. (English) Zbl 1195.68105 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 52-67 (2007). MSC: 68U05 68T15 PDF BibTeX XML Cite \textit{P. Lebmeir} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 4869, 52--67 (2007; Zbl 1195.68105) Full Text: DOI
Janičić, Predrag; Quaresma, Pedro Automatic verification of regular constructions in dynamic geometry systems. (English) Zbl 1195.68092 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 39-51 (2007). MSC: 68T15 51-04 68U05 PDF BibTeX XML Cite \textit{P. Janičić} and \textit{P. Quaresma}, Lect. Notes Comput. Sci. 4869, 39--51 (2007; Zbl 1195.68092) Full Text: DOI
Hales, Thomas C. Equidecomposable quadratic regions. (English) Zbl 1195.68104 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 24-38 (2007). MSC: 68U05 51M20 51M25 68T15 PDF BibTeX XML Cite \textit{T. C. Hales}, Lect. Notes Comput. Sci. 4869, 24--38 (2007; Zbl 1195.68104) Full Text: DOI
Chen, Xiaoyu; Wang, Dongming Towards an electronic geometry textbook. (English) Zbl 1195.68091 Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 1-23 (2007). MSC: 68T15 51-01 51-04 68U05 PDF BibTeX XML Cite \textit{X. Chen} and \textit{D. Wang}, Lect. Notes Comput. Sci. 4869, 1--23 (2007; Zbl 1195.68091) Full Text: DOI