Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

First Page		Document Content
Date: 2018-01-15 07:35:42 Functions and mappings Mathematical analysis Mathematics Computer arithmetic Limit of a function Abstract interpretation Unit in the last place Exponentiation Integral Lambda calculus Quantifier Combinatory logic		Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Add to Reading List Source URL: perso.univ-perp.fr Download Document from Source Website File Size: 618,50 KB Share Document on Facebook

	AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions DocID: 1oJV1 - View Document
	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, DocID: 1o0ql - View Document
	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University DocID: 1lXui - View Document
	Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l DocID: 19Hz4 - View Document
	THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus DocID: 18teE - View Document