AQCS
From MaRDI portal
Software:20123
swMATH8109MaRDI QIDQ20123FDOQ20123
Author name not available (Why is that?)
Cited In (14)
- Computer algebra for guaranteed accuracy. How does it help?
- Approximate quantified constraint solving by cylindrical box decomposition
- Bracketing backward reach sets of a dynamical system
- Quantified constraints under perturbation
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- A new technique in systems analysis under interval uncertainty and ambiguity
- Interval-based projection method for under-constrained numerical systems
- Title not available (Why is that?)
- Combining interval analysis with flatness theory for state estimation of sailboat robots
- Efficient handling of universally quantified inequalities
- Quasi-decidability of a fragment of the first-order theory of real numbers
- Convergent approximate solving of first-order constraints by approximate quantifiers
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
This page was built for software: AQCS
