International audienceOrdinary differential equations are ubiquitous in scientific computing. Solving exactly these equations is usually not possible, except for special cases, hence the use of numerical schemes to get a discretized solution. We are interested in such numerical integration methods, for instance Euler's method or the Runge-Kutta methods. As they are implemented using floating-point arithmetic, round-off errors occur. In order to guarantee their accuracy, we aim at providing bounds on the round-off errors of explicit one-step numerical integration methods. Our methodology is to apply a fine-grained analysis to these numerical algorithms. Our originality is that our floating-point analysis takes advantage of the linear stabili...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
The effect of round-off errors on the numerical solution of the heat equation by finite differences ...
Numerical simulations are carefully-written programs, and their correctness is based on mathematical...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
We prove sharp, computable error estimates for the propagation of errors in the numerical solution o...
We prove sharp, computable error estimates for the propagation of errors in the numerical solution o...
Cette thèse est constituée de trois contributions liées à la formalisation en Coq d'analyses d'erreu...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
The effect of round-off errors on the numerical solution of the heat equation by finite differences ...
Numerical simulations are carefully-written programs, and their correctness is based on mathematical...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceOrdinary differential equations are ubiquitous in scientific computing. Solvin...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
International audienceNumerical integration schemes are mandatory to understand complex behaviors of...
We prove sharp, computable error estimates for the propagation of errors in the numerical solution o...
We prove sharp, computable error estimates for the propagation of errors in the numerical solution o...
Cette thèse est constituée de trois contributions liées à la formalisation en Coq d'analyses d'erreu...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
The effect of round-off errors on the numerical solution of the heat equation by finite differences ...
Numerical simulations are carefully-written programs, and their correctness is based on mathematical...