This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)
Carlos Beltrán Álvarez, G. Dalzotto, Tomás Jesús Recio Muñiz
págs. 1-14
Towards an electronic geometry textbook: (extended abstract)
págs. 15-25
On using OpenMath for representing dynamic geometry constructions: extended abstract
Jesús Escribano, Miguel A. Abánades Astudillo, José Luis Valcarce Gómez, Francisco Botana Ferreiro
págs. 26-30
págs. 31-36
págs. 37-50
págs. 51-61
págs. 62-73
Cylinders through five points: complex and real enumerative geometry
págs. 74-87
págs. 88-100
págs. 101-106
págs. 107-124
págs. 125-140
Geometry expressions: a constraint based interactive symbolic geometry system
págs. 141-143
Geometry explorer: a tool for generating diagrammatic full-angle method proofs : (extended abstract)
págs. 144-150
págs. 151-159
págs. 160-181
págs. 182-185
págs. 186-191
págs. 192-199
págs. 200-207
© 2001-2024 Fundación Dialnet · Todos los derechos reservados