Weak Integer Quantifier Elimination Beyond the Linear Case

DOI10.1007/978-3-540-75187-8_22MaRDI QIDQ3508492zbMATH OpenOpenAlexFDO

Authors Aless Lasaruk, Thomas Sturm

Publication date 1 July 2008

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75187-8_22

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Weak quantifier elimination for the full linear theory of the integers
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Quantifier elimination for linear modular constraints
• New Domains for Applied Quantifier Elimination
• Linear quantifier elimination

Cited in

(9)

• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
• New Domains for Applied Quantifier Elimination
• Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
• Effective Quantifier Elimination for Presburger Arithmetic with Infinity
• Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors
• Algorithmic global criteria for excluding oscillations
• Integer linear-exponential programming in NP by quantifier elimination
• An introduction to the theory of linear integer arithmetic (invited paper)
• Weak quantifier elimination for the full linear theory of the integers

Describes a project that uses

Uses Software

• REDLOG

This page was built for publication: Weak Integer Quantifier Elimination Beyond the Linear Case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3508492)