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		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

	Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) DocID: 1xVDs - View Document
	Introduction to the IEEEStandard for Interval Arithmetic DocID: 1xVf8 - View Document
	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia DocID: 1xUi8 - View Document
	Doc No: N2137=A Proposal to add Interval Arithmetic to the C++ Standard Library (revision 2) Hervé Brönnimann∗ DocID: 1t5ry - View Document
	Function Interval Arithmetic Jan Duracz1 , Amin Farjudian2 , Michal Koneˇcný3 , and Walid Taha4 1 , http://duracz.net/jan DocID: 1sRd8 - View Document