Details:
| Title | Variant Real Quantifier Elimination: Algorithm and Application | | Author(s) | Hoon Hong, Stefan Steidel | | Type | Article in Conference Proceedings | | Keywords | polynomial systems, quantifier elimination, real solutions | | ISBN | 978-1-60558-609-0 |
| URL |
http://doi.acm.org/10.1145/1576702.1576729 |
| Language | English | | Series | ISSAC | | Pages | 183--190 | | Publisher | ACM | | Address | New York, NY, USA | | Year | 2009 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
