The following pages link to (Q4234321):
Displaying 13 items.
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- Better answers to real questions (Q898260) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
- Real algebraic numbers and polynomial systems of small degree (Q2378492) (← links)
- Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
- Quantifier elimination in automatic loop parallelization (Q2457396) (← links)
- Multiple object semilinear motion planning (Q2457425) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)