LinBox: A Generic Library for Exact Linear Algebra

Jean-Guillaume Dumas (1) , T. Gautier (1) , M. Giesbrecht (1) , Pascal Giorgi (1) , B. Hovinen (1) , Erich Kaltofen (1) , B.D. Saunders (1) , W.J. Turner (1) , Gilles Villard (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

LinBox is a high-performance generic software library for black box linear algebra over symbolic (exact) entry domains. The generic software methodology enables the user to instantiate the procedures in the library with a multitude of coefficient domains and black box matrices without sacrificing performance. At the top level, LinBox provides algorithms for many standard problems in linear algebra, such as equation solving and matrix normal forms, and includes toolboxes for Lanczos-Krylov approaches and for algebraic preconditioning.

LinBox est une bibliothèque logicielle générique efficace pour l'algèbre linéaire, à travers des matrices boites noire définies sur des domaines d'entrées symboliques ( exactes). le principe de la généricité logicielle permet d'(instancier les procédures sur une multitude de domaines de coefficients et de matrices boite noire, sans sacrifier les performances. Au plus haut niveau, LinBox fournit des algorithmes pour plusieurs problèmes standards de l’algèbre linéaire, tels que la résolution d’équation et les formes normales de matrices. LinBox inclut aussi des boites à outils pour une approche Lanczos-Krylov et pour du préconditionnement algébrique

Mots clés: Black Box Matrix; Linear Algebra; Matrix Rank; Randomized Algorithms; Seminumeric Computation

Mots clés: Algèbre linéaire; Algorithmes probabilistes; Matrice boite noire; Matrice creuse

Domaines: Informatique [cs]

Jean-Guillaume Dumas, T. Gautier, M. Giesbrecht, Pascal Giorgi, B. Hovinen, et al.. LinBox: A Generic Library for Exact Linear Algebra. [Research Report] LIp RR-2002-15, Laboratoire de l'informatique du parallélisme. 2002, 2+12p. ⟨hal-02102080⟩