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...
We propose an implementation of symplectic implicit Runge-Kutta schemes for highly accurate numerica...
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...
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...
International audienceNumerical simulations are carefully-written programs, and their correctness is...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
In high accuracy long-time integration of differential equations, round-off errors may dominate trun...
We propose an implementation of symplectic implicit Runge-Kutta schemes for highly accurate numerica...
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...
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...
International audienceNumerical simulations are carefully-written programs, and their correctness is...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
In high accuracy long-time integration of differential equations, round-off errors may dominate trun...
We propose an implementation of symplectic implicit Runge-Kutta schemes for highly accurate numerica...
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...