Pages that link to "Item:Q1604710"
From MaRDI portal
The following pages link to Approximate quantified constraint solving by cylindrical box decomposition (Q1604710):
Displaying 9 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Computer algebra for guaranteed accuracy. How does it help? (Q849196) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- Efficient solving of quantified inequality constraints over the real numbers (Q5277761) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897198) (← links)
- Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals (Q6116524) (← links)