AQCS
From MaRDI portal
Cited in
(17)- 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
- IbexOpt
- TopDeg
- Acumen
- scientific article; zbMATH DE number 1543332 (Why is no real title available?)
- Efficient handling of universally quantified inequalities
- Combining interval analysis with flatness theory for state estimation of sailboat robots
- 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
