Displaying similar documents to “Verified numerical computations for large-scale linear systems”

Numerical index with respect to an operator

Mohammad Ali Ardalani (2014)

Studia Mathematica

Similarity:

We introduce new concepts of numerical range and numerical radius of one operator with respect to another one, which generalize in a natural way the known concepts of numerical range and numerical radius. We study basic properties of these new concepts and present some examples.

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...