The following pages link to AQCS (Q20123):
Displayed 14 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Interval-based projection method for under-constrained numerical systems (Q487645) (← 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)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Approximate quantified constraint solving by cylindrical box decomposition (Q1604710) (← links)
- A new technique in systems analysis under interval uncertainty and ambiguity (Q1869600) (← links)
- Combining interval analysis with flatness theory for state estimation of sailboat robots (Q1949081) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- (Q4520808) (← links)
- Convergent approximate solving of first-order constraints by approximate quantifiers (Q5277696) (← links)