Weak Integer Quantifier Elimination Beyond the Linear Case
From MaRDI portal
Publication:3508492
DOI10.1007/978-3-540-75187-8_22zbMath1141.68704OpenAlexW1576867107MaRDI QIDQ3508492
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
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates ⋮ Algorithmic global criteria for excluding oscillations ⋮ 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
Uses Software
This page was built for publication: Weak Integer Quantifier Elimination Beyond the Linear Case
