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

Portada
Francisco Botana, Tomas Recio
Springer, 6 dic. 2007 - 218 páginas
0 Reseñas

The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.

 

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 Grobner Systems
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