On Delineability of Varieties in CAD-Based Quantifier Elimination with Two Equational Constraints

• Autores: Scott McCallum, Christopher W. Brown
• Localización: ISSAC 2009: International Symposium on Symbolic and Algebraic Computation / coord. por John P. May, 2009, ISBN 978-1-60558-609-0, págs. 71-78
• Idioma: inglés
• Texto completo no disponible (Saber más ...)