Displaying similar documents to “From classical numerical mathematics to scientific computing.”

Verified numerical computations for large-scale linear systems

Katsuhisa Ozaki, Takeshi Terao, Takeshi Ogita, Takahiro Katagiri (2021)

Applications of Mathematics

Similarity:

This paper concerns accuracy-guaranteed numerical computations for linear systems. Due to the rapid progress of supercomputers, the treatable problem size is getting larger. The larger the problem size, the more rounding errors in floating-point arithmetic can accumulate in general, and the more inaccurate numerical solutions are obtained. Therefore, it is important to verify the accuracy of numerical solutions. Verified numerical computations are used to produce error bounds on numerical...

Numerical Verification of Industrial Numerical Codes

Christophe Denis, Sethy Montan (2012)

ESAIM: Proceedings

Similarity:

Several approximations occur during a numerical simulation: physical effects mapy be discarded, continuous functions replaced by discretized ones and real numbers replaced by finite-precision representations. The use of the floating point arithmetic generates round-off errors at each arithmetical expression and some mathematical properties are lost. The aim of the numerical verification activity at EDF R&D is to study the effect of the round-off error propagation on the results of...