AbstractWe examine numerical rounding errors of some deterministic solvers for systems of ordinary differential equations (ODEs) from a probabilistic viewpoint. We show that the accumulation of rounding errors results in a solution which is inherently random and we obtain the theoretical distribution of the trajectory as a function of time, the step size and the numerical precision of the computer. We consider, in particular, systems which amplify the effect of the rounding errors so that over long time periods the solutions exhibit divergent behaviour. By performing multiple repetitions with different values of the time step size, we observe numerically the random distributions predicted theoretically. We mainly focus on the explicit Euler...
Motivated by the advent of machine learning, the last few years have seen the return of hardware-sup...
This book is intended to make recent results on the derivation of higher order numerical schemes for...
Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding...
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...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of epistemic uncertainty induced by numerical solu...
International audienceStochastic rounding randomly maps a real number to one of the two nearest valu...
Finite-precision floating point arithmetic unavoidably introduces rounding errors which are traditio...
Stochastic rounding randomly maps a real number to one of the two nearest values in a finite precisi...
Motivated by the advent of machine learning, the last few years have seen the return of hardware-sup...
This book is intended to make recent results on the derivation of higher order numerical schemes for...
Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding...
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...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of uncertainty induced by numerical solutions of o...
In this paper, we present a formal quantification of epistemic uncertainty induced by numerical solu...
International audienceStochastic rounding randomly maps a real number to one of the two nearest valu...
Finite-precision floating point arithmetic unavoidably introduces rounding errors which are traditio...
Stochastic rounding randomly maps a real number to one of the two nearest values in a finite precisi...
Motivated by the advent of machine learning, the last few years have seen the return of hardware-sup...
This book is intended to make recent results on the derivation of higher order numerical schemes for...
Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding...