Cited in
(7)- Using machine learning to improve cylindrical algebraic decomposition
- Truth table invariant cylindrical algebraic decomposition
- FunctionAdvisor
- ProjectionCAD
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Understanding branch cuts of expressions
- Cylindrical algebraic sub-decompositions
This page was built for software: BranchCuts
