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 |
|