Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Almeida, Pedro Quaresma de - Departamento de Matemática, Universidade de Coimbra
DCpic, Commutative Diagrams in a (La)TEX Pedro Quaresma
Implementing a Deduction System for a Guarded Commands Procedural Language Using a Generic
The Electronic Publishing Toolbox Pedro Quaresma
Coimbra, Portugal 2009 TR 2009/04 ISSN 0874-338X
TR 2009/006 ISSN 0874-338X The Area Method, Rigorous Proofs of Lemmas in Hilbert's
Submitted to: c Santos, Vanda & Quaresma. Pedro
Introduction Geometry Automated Theorem Provers Mechanical Geometric Formula Derivation New Directions Bibliography Geometric Theorem Proving
