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

	Trigonometric Graphs This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences ne DocID: 1rqxP - View Document
	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, DocID: 1rokA - View Document
	14. Calculus and Linear Algebra Po-Shen Loh CMU Putnam Seminar, Fall DocID: 1rmie - View Document
	Rainer Hempel Institut Computational Mathematics http://www.icm.tu-bs.de/∼hempel DocID: 1rmfM - View Document
	PDF Document DocID: 1rlRQ - View Document