Efficient matrix multiplication and design for the exact linear algebra library LinBox

We first expose in this memoir efficient matrix multiplication techniques. We set up new schedules that allow us to minimize the extra memory requirements during a Winograd-style matrix multiplication, while keeping the complexity competitive. In order to get them, we develop external tools (pebble game), tight complexity computations and new hybrid algorithms. Then we use parallel technologies (multicore CPU and GPU) in order to accelerate efficiently the sparse matrix--dense vector multiplication (SpMV), crucial to /blackbox/ algorithms and we set up new hybrid formats to store them. Finally, we establish generic design methods focusing on efficiency, especially via building block conceptions or self-optimization. We also propose tools for improving and standardizing code quality in order to make it more sustainable and more robust. This is in particular applied to the LinBox computer algebra library.

Data and Resources

Additional Info

Field Value
Source https://theses.hal.science/tel-00767915
Author Boyer, Brice
Maintainer CCSD
Last Updated May 29, 2026, 19:54 (UTC)
Created May 29, 2026, 19:54 (UTC)
Identifier NNT: 2012GRENM019
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire Jean Kuntzmann (LJK) ; Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)
creator Boyer, Brice
date 2012-06-21T00:00:00
harvest_object_id a0edae70-97b9-47b2-98c9-ace81682962f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-03-30T00:00:00
set_spec type:THESE