Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France

First Page		Document Content
Date: 2013-04-29 03:43:32 RungeKutta methods Mathematical analysis Numerical analysis Mathematics Differential calculus Euler method Stiff equation Numerical integration Truncation error BogackiShampine method Affine arithmetic Integral		Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France Add to Reading List Source URL: perso.ensta-paristech.fr Download Document from Source Website File Size: 511,81 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