@unpublished{dedinechin:ensl-00693317, TITLE = {{On Ziv's rounding test}}, AUTHOR = {de Dinechin, Florent and Lauter, Christoph and Muller, Jean-Michel and Torres, Serge}, URL = {https://ens-lyon.hal.science/ensl-00693317}, NOTE = {working paper or preprint}, PAGES = {26}, YEAR = {2012}, MONTH = May, KEYWORDS = {Floating-Point arithmetic ; correct rounding ; elementary functions}, PDF = {https://ens-lyon.hal.science/ensl-00693317v1/file/ZivRounding_PreprintVersion.pdf}, HAL_ID = {ensl-00693317}, HAL_VERSION = {v1}, }