Pages that link to "Item:Q1105372"
From MaRDI portal
The following pages link to A cluster-based cylindrical algebraic decomposition algorithm (Q1105372):
Displaying 12 items.
- Testing elementary function identities using CAD (Q944998) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371) (← links)
- A polynomial-time algorithm for the topological type of real algebraic curve (Q1115496) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Local box adjacency algorithms for cylindrical algebraic decompositions (Q1599550) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Two-view ``cylindrical decomposition'' of binary images (Q5955133) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
