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

researchr

You are not signed in
Sign in
Sign up

Madalina Erascu. Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Volume 9890 of Lecture Notes in Computer Science, pages 193-211, Springer, 2016. [doi]

The following publications are possibly variants of this publication:

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)Madalina Erascu, Hoon Hong. issac 2014: 162-169 [doi]

Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)Madalina Erascu, Hoon Hong. JSC, 75:110-126, 2016. [doi]

runs on WebDSL