Solving 3D quasi-decomposable geometric constraint systems

• Autores: A. Fabre, Pascal Schreck
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 31-36
• Idioma: inglés
• Texto completo no disponible (Saber más ...)