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 - MPFR - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-07-24 12:02:05 Mathematics MPFR Interval arithmetic Rounding OCaml Arbitrary-precision arithmetic X87 Floating point IEEE 754-2008 Computing Computer arithmetic Computer architecture		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 Source URL: oud.ocaml.org Download Document from Source Website File Size: 541,33 KB Share Document on Facebook

	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, DocID: 1v9AG - View Document
	Towards Automatic Resource Bound Analysis for OCaml Ar tifact * Complete DocID: 1uNpP - View Document
	The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon DocID: 1tWs8 - View Document
	MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license. DocID: 1tPSR - View Document