Summary: Introduction Geometry Automated Theorem Provers Mechanical Geometric Formula Derivation New Directions Bibliography
Geometric Theorem Proving
Pedro Quaresma
CISUC, Mathematics Department
University of Coimbra
Days in Logic 2012, University of ´Evora, 6-8 February 2012
1 / 99
Introduction Geometry Automated Theorem Provers Mechanical Geometric Formula Derivation New Directions Bibliography
Geometric Automated Theorem Proving
An history more than sixty years long [CG01, Wan96].
Two major lines of research in GATP:
Synthetic methods;
Algebraic methods.
Mechanical Geometric Formula Derivation:
Finding locus equation;
Deriving geometry formulas.
News fields
Geometric Tools: DGS/GATP/CAS/RGP/eLearning;
Formalisation.
2 / 99

Source: Almeida, Pedro Quaresma de - Departamento de Matemática, Universidade de Coimbra

Collections: Mathematics