New Domains for Applied Quantifier Elimination

DOI10.1007/11870814_25zbMath1141.68714OpenAlexW1488226435MaRDI QIDQ3511123

Thomas Sturm

Publication date: 4 July 2008

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

Full work available at URL: https://doi.org/10.1007/11870814_25

Mathematics Subject Classification ID

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

Related Items

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs, Applied Algebraic Geometry in Model Based Design for Manufacturing, A symbolic-numeric approach to multi-objective optimization in manufacturing design, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk), Efficiently and effectively recognizing toricity of steady state varieties, A logic based approach to finding real singularities of implicit ordinary differential equations, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness

Uses Software

• REDUCE
• REDLOG