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