Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
Mădălina Eraşcu, Hoon Hong · 2014
We report on on-going efforts to apply real quantifier elimination to the synthesis of optimal numerical algorithms. In particular, we describe a case study on the square root problem: given a real number x and an error bound ε, find a real interval such that it contains [EQUATION] and its width is less than or equal to ε.