The complexity of quantifier elimination and cylindrical algebraic decomposition
Reference:
Brown, C. W. and Davenport, J. H., 2007. The complexity of quantifier elimination and cylindrical algebraic decomposition. In: ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 54-60.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Official URL:
http://dx.doi.org/10.1145/1277548.1277557
Details
| Item Type | Book Sections |
| Creators | Brown, C. W.and Davenport, J. H. |
| DOI | 10.1145/1277548.1277557 |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5300 |
Export
Actions (login required)
| View Item |
