Details:
Title | Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination | Author(s) | Hoon Hong | Type | Article in Conference Proceedings | ISBN | 0-89791-489-9 |
URL |
http://doi.acm.org/10.1145/143242.143306 |
Language | English | Series | ISSAC | Pages | 177--188 | Publisher | ACM | Address | New York, NY, USA | Year | 1992 | Edition | 0 | Translation |
No | Refereed |
No |
|