Pages that link to "Item:Q1368692"
From MaRDI portal
The following pages link to Testing stability by quantifier elimination (Q1368692):
Displaying 17 items.
- Robustly stable multivariate polynomials (Q357627) (← links)
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Deciding polynomial-transcendental problems (Q654031) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- A computational method for determining strong stabilizability of \(n\)-D systems (Q1300577) (← links)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
