Testing stability by quantifier elimination
From MaRDI portal
Recommendations
Cited in
(37)- Validity proof of Lazard's method for CAD construction
- Algorithmic methods for investigating equilibria in epidemic modeling
- Optimally-stable second-order accurate difference schemes for nonlinear conservation laws in 3D
- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
- Robustly stable multivariate polynomials
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Recurrences for quadrilateral high-order finite elements
- Quantified constraints under perturbation
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Symbolic computation for the qualitative theory of differential equations
- Computer algebra and problems of motion stability
- Analysis of Snapback Repellers Using Methods of Symbolic Computation
- Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems
- Identifying the parametric occurrence of multiple steady states for some biological networks
- A computational method for determining strong stabilizability of \(n\)-D systems
- Cylindrical algebraic decomposition using validated numerics
- Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems
- Improved projection for cylindrical algebraic decomposition
- Special algorithm for stability analysis of multistable biological regulatory systems
- Algorithmic global criteria for excluding oscillations
- Symbolic reachability computation for families of linear vector fields
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Cylindrical decomposition for systems transcendental in the first variable
- Deciding polynomial-transcendental problems
- Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition
- Stability analysis for discrete biological models using algebraic methods
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- A local Fourier convergence analysis of a multigrid method using symbolic computation
- Stability analysis by quantifier elimination.
- Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Variant quantifier elimination
This page was built for publication: Testing stability by quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368692)
