Interrogating witnesses for geometric constraints solving

• Autores: David Ménegaux, Dominique Michelucci, Sebti Foufou
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 101-106
• Idioma: inglés
• Texto completo no disponible (Saber más ...)