Some software tools to control the accuracy in scientific computing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1994

Some software tools to control the accuracy in scientific computing


A main concern of scientific computing is the validation of numerical simulations. Indeed, several factors contribute to the degradation of accuracy in the final result. This thesis deals with new tools to control the accuracy for the following eigenproblem~: Problem $(P)$~: \it Given $A \in \mbox\ens C^n \times n$, find some $\lambda \in \mbox\ens C$ and/or $x \in \mbox\ens C^n$ such that~: $\lambda$ is an eigenvalue of $A$ and $x$ is the associated eigenvector. We present in the first part of this thesis an expert system called SESAME, which can either select the sequence of LAPACK routines solving the given problem $(P)$ or validate a user choice of routines. It can eventually give an estimation of the accuracy of the result. The spectral portrait of a matrix provides useful informations about it. Usually, the spectral portrait is computed using a Singular Value Decomposition, but this approach is not suitable for large sparse matrices. The second part of the thesis is devoted to the computation of the spectral portrait for large sparse matrices. Krylov subspaces have an important place in sparse linear algebra, since numerous iterative methods in linear algebra dealing with large sparse matrices require these subspaces. In the third part of the thesis, we study theoretically the condition number of Krylov bases and subspaces.
Fichier principal
Vignette du fichier
RR-2382.pdf (1.01 Mo) Télécharger le fichier

Dates and versions

inria-00074295 , version 1 (24-05-2006)


  • HAL Id : inria-00074295 , version 1


Jean-François Carpraux. Some software tools to control the accuracy in scientific computing. [Research Report] RR-2382, INRIA. 1994. ⟨inria-00074295⟩
63 View
84 Download


Gmail Facebook Twitter LinkedIn More