Pages that link to "Item:Q3508492"
From MaRDI portal
The following pages link to Weak Integer Quantifier Elimination Beyond the Linear Case (Q3508492):
Displaying 4 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
