Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
Work
Year: 2015
Type: preprint
Abstract: When building a cylindrical algebraic decomposition (CAD) savings can be made in the presence of an equational constraint (EC): an equation logically implied by a formula. The present paper is concern... more
Institutions Coventry University, University of Bath
Cites: 35
Cited by: 29
Related to: 10
Citation percentile (by year/subfield): 99.19
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Decent work and economic growth
Open Access status: bronze