Pages that link to "Item:Q2879157"
From MaRDI portal
The following pages link to Cylindrical Algebraic Decomposition in the RegularChains Library (Q2879157):
Displayed 9 items.
- CylindricalAlgebraicDecompose (Q44509) (← links)
- Open weak CAD and its applications (Q1711996) (← 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)
- Regular cylindrical algebraic decomposition (Q5108140) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)