CylindricalAlgebraicDecompose

swMATH32798MaRDI QIDQ44509FDOQ44509

Author name not available (Why is that?)

Described by source

• Cylindrical Algebraic Decomposition in the RegularChains Library

Cited In (6)

• 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
• Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
• 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