Pages that link to "Item:Q5244554"
From MaRDI portal
The following pages link to Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas (Q5244554):
Displaying 6 items.
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)