Details:
Title | On Delineability of Varieties in CAD-based Quantifier Elimination with Two Equational Constraints | Author(s) | Scott McCallum, Brown Christopher W. | Type | Article in Conference Proceedings | Keywords | cylindrical algebraic decomposition, quantifier elimination | ISBN | 978-1-60558-609-0 |
URL |
http://doi.acm.org/10.1145/1576702.1576715 |
Language | English | Series | ISSAC | Pages | 71--78 | Publisher | ACM | Address | New York, NY, USA | Year | 2009 | Edition | 0 | Translation |
No | Refereed |
No |
|