Pages that link to "Item:Q945000"
From MaRDI portal
The following pages link to Weak quantifier elimination for the full linear theory of the integers (Q945000):
Displaying 11 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Better answers to real questions (Q898260) (← links)
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (Q3454088) (← links)
- Linear Integer Arithmetic Revisited (Q3454126) (← 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)
- Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009) (← links)
