CylindricalAlgebraicDecompose
From MaRDI portal
swMATH32798MaRDI QIDQ44509FDOQ44509
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_65
Cited In (7)
- 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
- 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
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
This page was built for software: CylindricalAlgebraicDecompose
