Pages that link to "Item:Q1368693"
From MaRDI portal
The following pages link to Simulation and optimization by quantifier elimination (Q1368693):
Displaying 14 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Better answers to real questions (Q898260) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem (Q1025383) (← links)
- A computational method for determining strong stabilizability of \(n\)-D systems (Q1300577) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology (Q3599203) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- (Q4506060) (← links)
