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

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.


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
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
Mechanical Theorem Proving in Tarskis Geometry
A Theorem About Regular Polygons
A Maple Package for Automatic Theorem Proving and Discovery in 3DGeometry
A Constraint Based Interactive Symbolic Geometry System
Constructing a Tetrahedron with Prescribed Heights and Widths
Author Index
Página de créditos

Otras ediciones - Ver todo

Términos y frases comunes

Información bibliográfica