Pages that link to "Item:Q1368692"

The following pages link to Testing stability by quantifier elimination (Q1368692):

Displaying 34 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)
• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← 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)
• Exploiting variable sparsity in computing equilibria of biological dynamical systems by triangular decomposition (Q2061992) (← links)
• Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
• A local Fourier convergence analysis of a multigrid method using symbolic computation (Q2252112) (← links)
• Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
• Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
• Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
• Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
• Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
• Optimally-stable second-order accurate difference schemes for nonlinear conservation laws in 3D (Q2490724) (← links)
• Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
• Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation (Q3644098) (← links)
• Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
• Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems (Q4897708) (← links)
• Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems (Q5014672) (← links)
• Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
• Computer algebra and problems of motion stability (Q5950175) (← links)
• Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
• Recurrences for quadrilateral high-order finite elements (Q6157642) (← links)