Cite
MLA Citation
Mădălina Eraşcu and Hoon Hong. “Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation).” Journal of symbolic computation, vol. 75, 2016, pp. 110–126. http://access.bl.uk/ark:/81055/vdc_100030531976.0x00000d