A maple package for automatic theorem proving and discovery in 3D-geometry

• Autores: Eugenio Roanes Macías , Eugenio Roanes Lozano
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 125-140
• Idioma: inglés
• Texto completo no disponible (Saber más ...)