Details:
| Title | Quantifier elimination for a class of exponential polynomial formulas | | Author(s) | Zhuojun Liu, Ming Xu, Lu Yang | | Type | Article in Journal | | Abstract | | | Keywords | Exponential polynomials, Cylindrical algebraic decomposition, Quantifier elimination, Decision procedures, Interval arithmetic | | ISSN | 0747-7171 |
| URL |
http://www.sciencedirect.com/science/article/pii/S0747717114000832 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 68, Part 1 | | Number | 0 | | Pages | 146 - 168 | | Year | 2015 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
