Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms

DOI10.1007/978-3-319-45641-6_13zbMath1453.12002MaRDI QIDQ2830000

Mădălina Eraşcu

Publication date: 9 November 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-45641-6_13

Mathematics Subject Classification ID

65H10: Numerical computation of solutions to systems of equations

03C10: Quantifier elimination, model completeness, and related topics

12-08: Computational methods for problems pertaining to field theory

Uses Software

• Mathematica
• QEPCAD
• SYNRAC
• REDLOG
• SMT-RAT