The following pages link to CylindricalAlgebraicDecompose (Q44509):
Displaying 7 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)
- Curtains in CAD: Why Are They a Problem and How Do We Fix Them? (Q5039551) (← links)
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
