The complexity of quantifier elimination and cylindrical algebraic decomposition
Brown, C. W. and Davenport, J. H., 2007. The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, 2007-01-01, Waterloo, Ontario. 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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Brown, C. W.and Davenport, J. H.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)