Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Geometry Automated Theorem Provers Mechanical Geometric Formula Derivation New Directions Bibliography Geometric Theorem Proving
 

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