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)
Xiaoyu Chen, Dongming Wang
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
Automatic verification of regular constructions in dynamic geometry systems
Pedrag Janicic, Pedro Quaresma
págs. 37-50
Recognition of computationally constructed loci
Peter Lebmeir, Jürgen Richter-Gebert
págs. 51-61
Geometric factorization and theorem completion using bracket algebras: extended abstract
Hongbo Li
págs. 62-73
Cylinders through five points: complex and real enumerative geometry
Daniel Lichtblau
págs. 74-87
págs. 88-100
Interrogating witnesses for geometric constraints solving
David Ménegaux, Dominique Michelucci, Sebti Foufou
págs. 101-106
Mechanical theorem proving in Tarski's geometry
Julien Narboux
págs. 107-124
págs. 125-140
Geometry expressions: a constraint based interactive symbolic geometry system
Philip Todd
págs. 141-143
Geometry explorer: a tool for generating diagrammatic full-angle method proofs : (extended abstract)
Sean Wilson, Jacques D. Fleuriot
págs. 144-150
A spatial geometric constraint problem solved by invariant method
Lu Yang, Zhenbing Zeng
págs. 151-159
On the mechanization of the proof of Hessenberg's Theorem
Marc Bezem, Dimitri Hendriks
págs. 160-181
págs. 182-185
Algorithmic search for flexibility using resultant of polynomial systems
Robert H. Lewis, E.A. Coutsias
págs. 186-191
págs. 192-199
Benchmarks for symbolic-dynamic geometry environments
Thomas Gawlick
págs. 200-207
© 2008-2024 Fundación Dialnet · Todos los derechos reservados