61 citations · 693 across the 58 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SC2015
An implementation of Sub-CAD in Maple
Matthew England, David Wilson
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications in algebraic geometry and beyond. We have previously…
cs.SC2015★ 31 cited
Improving the use of equational constraints in cylindrical algebraic decomposition
Matthew England, Russell Bradford, James H. Davenport
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 pres…