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…