PII: [removed]90002-Y

First Page		Document Content
Date: 2012-04-27 04:55:37 Multivariable calculus Arithmetic Computer arithmetic Interval arithmetic Mathematical optimization Implicit and explicit functions False position method Affine arithmetic Piecewise linear continuation Mathematical analysis Mathematics Numerical analysis		PII: [removed]90002-Y Add to Reading List Source URL: fab.cba.mit.edu Download Document from Source Website File Size: 1,07 MB 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