Geometry explorer: a tool for generating diagrammatic full-angle method proofs : (extended abstract)

• Autores: Sean Wilson, Jacques D. Fleuriot
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 144-150
• Idioma: inglés
• Texto completo no disponible (Saber más ...)