Introduction Interval Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France - France - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-07-18 04:25:02 Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number		Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France Add to Reading List Source URL: smt2014.it.uu.se Download Document from Source Website File Size: 445,90 KB Share Document on Facebook

	Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny DocID: 1ratl - View Document
	Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because DocID: 1quIM - View Document
	Vitae for Nathalie Revol Nathalie REVOL Research scientist at INRIA Birth date: children (born in 2005 andCitizenship: french DocID: 1ohU9 - View Document
	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, DocID: 1o0ql - View Document
	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale DocID: 1mOXx - View Document