Pages that link to "Item:Q5950980"
From MaRDI portal
The following pages link to Improved projection for cylindrical algebraic decomposition (Q5950980):
Displayed 8 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Variant quantifier elimination (Q420753) (← links)
- CAD and topology of semi-algebraic sets (Q626978) (← links)
- On the topology of real algebraic plane curves (Q626980) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)