In this paper we present the theoretical foundation of forward error analysis of numerical algorithms under;• Approximations in "built-in" functions.• Rounding errors in arithmetic floating-point operations.• Perturbations of data.The error analysis is based on linearization method. The fundamental tools of the forward error analysis are system of linear absolute and relative a prior and a posteriori error equations and associated condition numbers constituting optimal of possible cumulative round – off errors. The condition numbers enable simple general, quantitative bounds definitions of numerical stability. The theoretical results have been applied a Gaussian elimination, and have proved to be very effective means of both a priori and a ...
Models of algorithms of floating-point addition are designed for chopping, correctly rounding and au...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
A-posteriori forward rounding error analyses tend to give sharper error estimates than a-priori ones...
An emerging area of research is to automatically compute reasonably accurate upper bounds on numeric...
In this article, we introduce a new static analysis for numerical accuracy. Weaddress the problem of...
AbstractThere exist several algorithms for the calculation of convergents of a continued fraction. W...
Rounding error bounds by perturbation condition analysis, and conditioning for eigenvalue proble
Cette thèse est constituée de trois contributions liées à la formalisation en Coq d'analyses d'erreu...
Floating-point arithmetic is an approximation of real arithmetic in which each operation may introdu...
Rounding errors present an inherent problem to all computer programs involving floating-point number...
The object of this thesis is to bring a solution of numerical problems caused by the use of floating...
The behavior of physical systems is usually modeled by differential equations. For instance, the aer...
Backward error (BE) analysis was developed and popularized by James Wilkinson in the 1950s and 1960s...
All arithmetic operations can be decomposed into an infinitely accurate calculation and a subsequent...
Models of algorithms of floating-point addition are designed for chopping, correctly rounding and au...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
A-posteriori forward rounding error analyses tend to give sharper error estimates than a-priori ones...
An emerging area of research is to automatically compute reasonably accurate upper bounds on numeric...
In this article, we introduce a new static analysis for numerical accuracy. Weaddress the problem of...
AbstractThere exist several algorithms for the calculation of convergents of a continued fraction. W...
Rounding error bounds by perturbation condition analysis, and conditioning for eigenvalue proble
Cette thèse est constituée de trois contributions liées à la formalisation en Coq d'analyses d'erreu...
Floating-point arithmetic is an approximation of real arithmetic in which each operation may introdu...
Rounding errors present an inherent problem to all computer programs involving floating-point number...
The object of this thesis is to bring a solution of numerical problems caused by the use of floating...
The behavior of physical systems is usually modeled by differential equations. For instance, the aer...
Backward error (BE) analysis was developed and popularized by James Wilkinson in the 1950s and 1960s...
All arithmetic operations can be decomposed into an infinitely accurate calculation and a subsequent...
Models of algorithms of floating-point addition are designed for chopping, correctly rounding and au...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
We present a new tool that generates bounds on the values and the round-off errors of programs using...