Research

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
CreatorsBrown, C. W.and Davenport, J. H.
DOI10.1145/1277548.1277557
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5300

Export

Actions (login required)

View Item