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

Portada
Springer Science & Business Media, 12 dic. 2007 - 211 páginas
0 Reseñas
After ?ve successful editions (Toulouse, 1996; Beijing, 1998; Zurich, 2000; Linz, 2002,Gainesville,Fl.,2004),the seriesofinternationalworkshopsonAutomated DeductioninGeometry(ADG) hasconsolidatedits fundamentalroleconcerning the scienti'c community working on the interaction between geometry and - tomated deduction. From August 31 to September 2, 2006, a new ADG meeting took place at the Pontevedra (Galicia, Spain) campus of the University of Vigo, as a satellite event of the International Congress of Mathematicians (Madrid, August 22-30, 2006). We acknowledge the ?nancial support for ADG 2006, p- vided by the University of Vigo and the Spanish Ministerio de Educaci ́ on y Ciencia under grant MTM2005-24580-E. It was a fruitful meeting - made possible by the work of the Organizing Committee (see next page) - for exchanging ideas and for the presentation of original results and software novelties - 21 contributions in total - under the scienti'c guidance of the Program Committee (listed on the next page). Mo- over, it was a privilege to receive the lectures of our distinguished guest spe- ers, Thomas Hales (U. Pittsburgh) and Martin Peternell (T.U. Wien), dealing with the so-calledFlyspeck project, i.e., the automatization of Hales' solution to Kepler'sconjecture,andwithrationalo'setsurfacesandrelatedissuesinCAGD, respectively.
 

Comentarios de usuarios - Escribir una reseña

No hemos encontrado ninguna reseña en los lugares habituales.

Índice

Towards an Electronic Geometry Textbook
1
Equidecomposable Quadratic Regions
24
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
39
Recognition of Computationally Constructed Loci
52
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
68
Complex and Real Enumerative Geometry
80
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
98
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive
113
Mechanical Theorem Proving in Tarskis Geometry
139
A Theorem About Regular Polygons
157
A Maple Package for Automatic Theorem Proving and Discovery in 3DGeometry
171
A Constraint Based Interactive Symbolic Geometry System
189
Constructing a Tetrahedron with Prescribed Heights and Widths
203
Author Index
212
Página de créditos

Otras ediciones - Ver todo

Términos y frases comunes

Información bibliográfica