Weak Integer Quantifier Elimination Beyond the Linear Case
From MaRDI portal
Publication:3508492
DOI10.1007/978-3-540-75187-8_22zbMath1141.68704MaRDI 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
68W30: Symbolic computation and algebraic computation
03C10: Quantifier elimination, model completeness, and related topics
Related Items
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