Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced

First Page		Document Content
Date: 2009-11-24 06:44:27 Mathematics Mathematical analysis Numerical analysis Geometry Functions and mappings Affine geometry Affine arithmetic Interval arithmetic Quasigroup Abstract interpretation Logarithm Derivative		Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 194,46 KB Share Document on Facebook

	Affine Arithmetic and Applications to Real-Number Proving Mariano M. Moscato1 , C´esar A. Mu˜ noz2 , and Andrew P. Smith1 1 DocID: 1saMb - View Document
	Computing DOIs00607A generalization of p-boxes to affine arithmetic Olivier Bouissou · Eric Goubault · Jean Goubault-Larrecq · Sylvie Putot DocID: 1rCO7 - View Document
	A Logical Product Approach to Zonotope Intersection Khalil Ghorbal, Eric Goubault, Sylvie Putot Laboratory for the Modelling and Analysis of Interacting Systems CEA, LIST, Boˆıte 94, Gif-sur-Yvette, FFrance. fir DocID: 1qOqG - View Document
	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot DocID: 1qDOI - View Document
	Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced DocID: 1qrvo - View Document