Details:
Title | Variant quantifier elimination | Author(s) | Hoon Hong, Mohab Safey | Type | Article in Journal | Abstract | | Keywords | Quantifier elimination, Computational real algebraic geometry, Stability analysis | ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717111002057 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 47 | Number | 7 | Pages | 883 - 901 | Year | 2012 | Note | International Symposium on Symbolic and Algebraic Computation (ISSAC 2009) | Edition | 0 | Translation |
No | Refereed |
No |
|