Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox

Pascal Giorgi 1, 2
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : For a few decades, numerical linear algebra has seen intensive developments in both
mathematical and computer science theory which have led to genuine standard software like BLAS or LAPACK.
In computer algebra the situation has not advanced as much, in particular because of the diversity
of the problems and because of much of the theoretical progress have been done recently.
This thesis falls into a recent class of work which aims at uniforming high-performance codes from
many specialized libraries into a single platform of computation.
In particular, the emergence of robust and portable libraries like GMP or NTL for exact computation
has turned out to be a real asset for the development of applications in exact linear algebra.
In this thesis, we study the feasibility and the relevance of the re-use of specialized codes
to develop a high performance exact linear algebra library, namely the LinBox library.
We use the generic programming mechanisms of C++ (abstract class, template class) to provide an abstraction of
the mathematical objects and thus to allow the plugin of external components.
Our objective is then to design and validate, in LinBox, high level generic toolboxes for the
implementation of algorithms in exact linear algebra.
In particular, we propose "exact/numeric" hybrid computation routines for dense matrices over finite fields
which nearly match with the performance obtained by numerical libraries like LAPACK.
On a higher level, we reuse these hybrid routines to solve very efficiently a classical problem of
computer algebra: solving diophantine linear systems.
Hence, this allowed us to validate the principle of code reuse in LinBox library and more generally in computer algebra.
The LinBox library is available at www.linalg.org.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00008951
Contributor : Pascal Giorgi <>
Submitted on : Monday, April 4, 2005 - 6:08:05 PM
Last modification on : Wednesday, February 13, 2019 - 5:58:02 PM
Long-term archiving on : Friday, April 2, 2010 - 9:30:28 PM

Identifiers

  • HAL Id : tel-00008951, version 1

Citation

Pascal Giorgi. Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox. Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 2004. Français. ⟨tel-00008951⟩

Share

Metrics

Record views

355

Files downloads

669