Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
From MaRDI portal
Publication:2830000
DOI10.1007/978-3-319-45641-6_13zbMath1453.12002OpenAlexW2508609416MaRDI QIDQ2830000
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
Numerical computation of solutions to systems of equations (65H10) Quantifier elimination, model completeness, and related topics (03C10) Computational methods for problems pertaining to field theory (12-08)
Uses Software
Cites Work
- Unnamed Item
- Real quantifier elimination is doubly exponential
- Interval Newton iteration in multiple precision for the univariate case
- Cylindrical algebraic decomposition using validated numerics
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Building Bridges between Symbolic Computation and Satisfiability Checking
- Solving Non-linear Arithmetic
- Constructing a single open cell in a cylindrical algebraic decomposition
- On the Theoretical and Practical Complexity of the Existential Theory of Reals
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
- Introduction to Interval Analysis
- Efficient projection orders for CAD
- QEPCAD B
- An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
- Pseudo Division and Pseudo Multiplication Processes
- Improved projection for cylindrical algebraic decomposition
This page was built for publication: Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms
