The following pages link to CylindricalAlgebraicDecompose (Q44509):
Displaying 4 items.
- (Q48503) (redirect page) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis (Q2109991) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
