Cited in
(17)- Quasi-decidability of a fragment of the first-order theory of real numbers
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
- Approximate quantified constraint solving by cylindrical box decomposition
- Combining interval analysis with flatness theory for state estimation of sailboat robots
- Convergent approximate solving of first-order constraints by approximate quantifiers
- Bracketing backward reach sets of a dynamical system
- IbexOpt
- TopDeg
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Efficient handling of universally quantified inequalities
- Acumen
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- A new technique in systems analysis under interval uncertainty and ambiguity
- scientific article; zbMATH DE number 1543332 (Why is no real title available?)
- Quantified constraints under perturbation
- Computer algebra for guaranteed accuracy. How does it help?
- Interval-based projection method for under-constrained numerical systems
This page was built for software: AQCS
