First Page | Document Content | |
---|---|---|
Date: 2018-01-15 07:35:42Functions 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 PerpignAdd to Reading ListSource URL: perso.univ-perp.frDownload Document from Source WebsiteFile Size: 618,50 KBShare Document on Facebook |
AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary ConversionsDocID: 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 UniversityDocID: 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-lDocID: 19Hz4 - View Document | |
THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculusDocID: 18teE - View Document |