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