CylindricalAlgebraicDecompose
From MaRDI portal
Cited in
(8)- Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
- RegularChains
- Theoryguru
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- On types of degenerate critical points of real polynomial functions
This page was built for software: CylindricalAlgebraicDecompose
