Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation).

Madalina Erascu, Hoon Hong

Browse the full ISSAC paper archive.