Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

First Page		Document Content
Mathematics Arithmetic Computer arithmetic Mathematical analysis Subroutines Theoretical computer science Data types Numerical analysis Rounding Parameter Derivative Interval arithmetic		Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter Add to Reading List Source URL: gforge.inria.fr Download Document from Source Website File Size: 1,48 MB 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