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

	Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer † DocID: 1xTCi - View Document
	Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France DocID: 1xT7e - View Document
	A Study on Real-time Multibody Simulation with Contacts Carl Johan Gribel Numerical Analysis Lund Institute of Technology Supervisor: Prof. Claus F¨ DocID: 1vkKs - View Document
	User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002 DocID: 1vk0v - View Document
	Numerical Analysis Group Internal ReportResults from a numerical evaluation of LANCELOT B Nicholas I. M. Gould DocID: 1vjGm - View Document