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

	FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen DocID: 1xVhW - View Document
	PDF Document DocID: 1xh0Y - View Document
	PDF Document DocID: 1wGTL - View Document
	Nonlinear Analysis: Modelling and Control, 2012, Vol. 17, No. 2, 169–Duality of the alternating integral for quasi-linear differential games DocID: 1vrfp - View Document
	13 T H E I N TERNET AND THE NETWO R K N E U T R A L I T Y D E BAT E in just a few decades, the Internet has grown to become an integral part of our society, economy, and daily lives. In addition to the amazing growth in DocID: 1vqxg - View Document