Implementing an interval computation library for OCaml on x86 amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape - X87 - Document - PDFSEARCH.IO

First Page	Meta Content
	Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape Add to Reading List Document Date: 2012-07-24 12:02:05 Open Document File Size: 541,33 KB Share Result on Facebook City Palo Alto / / Company SUN Microsystems / Intel / / / Facility MPFI library / Prentice Hall / The MPFR/MPFI library / APRON library / MPFI/MPFR library / Hamburg University of Technology / MPFR library / / IndustryTerm computing / bound algorithms / main operating systems / / OperatingSystem Microsoft Windows / Mac OS X / Linux / / Organization Institut de Recherche / Warsaw university / Hamburg University of Technology / / Person Nat / Hervé Brönnimann / Sylvain Pion / Guillaume Melquiond / / ProgrammingLanguage Fortran 95 / C / C++ / / ProvinceOrState California / / Technology operating systems / Linux / / SocialTag Mathematics MPFR Interval arithmetic Rounding OCaml Arbitrary-precision arithmetic X87 Floating point IEEE 754-2008 Computing

Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this papeAdd to Reading List