Showing cs.SCShow all
2 papers · 1 filter
cs.SC2018
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Zongyan Huang, Matthew England, David Wilson +2
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. How…
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…