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 

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

Collections: Mathematics 