Pages that link to "Item:Q945000"

The following pages link to Weak quantifier elimination for the full linear theory of the integers (Q945000):

Displaying 7 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)
• Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009) (← links)