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 Website File Size: 618,50 KBShare Document on Facebook
|