Floating-Point Arithmetic release_gfmlzh3ln5dnvc2cg6ztmsang4

by Sylvie Boldo, Guillaume Melquiond

Published in Floating-Point Algorithms and Formal Proofs by Elsevier.

2017   p1-16

Archived Files and Locations

application/pdf  198.6 kB
file_gvjfcfg4u5d3fdx7m7d4vim7uy
perso.ens-lyon.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2017
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f57877fb-e944-4b37-a951-c16fa9d0bc98
API URL: JSON