| Research | Software | Teaching |
|
Jean-Guillaume Dumas
|
|
| Publications | : | Liste complète, Curriculum vitæ, conférences, posters et exposés, co-auteurs. |
| Collaborations | : | Jean Della Dora, Dominique Duval, Laurent Fousse, Pascal Giorgi, Thierry Gautier, Jean-Louis Roch, B. David Saunders, Gilles Villard. Aude Rondepierre, Clément Pernet, Anna Urbańska, Brice Boyer, Ziad Sultan, Burak Ekici. |
| Laboratoires | : | Laboratoire Jean Kuntzmann, Mathématiques Appliquées et Informatique : équipe CASYS ; INRIA QOLAPS ; Claude Shannon Institute ; Informatique et Distribution ; University of Delaware. |
| Groupes | : | Calcul Formel ; Codage et Cryptographie et Logique, Algèbre et Calcul au GDR Informatique Mathématique, ainsi que SMAI-MAIRCI et maths-entreprises. |
| SIMC: Sparse Integer Matrices Collection. |
|
SQUASH : Analyse
Qualitative des Systèmes Hybrides. CalCel : Calcul Cellulaire SHOC : Hybrid Optimal Control |
|
|
FFLAS : Finite field
linear algebra subroutines.
AHA : Adaptive and Hybrid Algorithms. |
|
InCa : Interfaces pour le Calcul Formel. |
|
Givaro : une
bibliothèque C++ pour le Calcul Formel.
Palo Alto : arithmétique et cryptologie en architecture multi-coeurs. |
|
Simplicial Homology
: a (proposed) GAP
share package. Online Computing Server ! |
|
Project LinBox: a
generic C++ interface for exact computational linear algebra.
M4RI: Linear algebra over F2. |
|
ANR HPAC: High-Performance Algebraic Computations. ROXANE: Reliable Open Software-Components for Algebraic and Numeric Efficiency. |
|
Galet: Matrix multiplication schedule generator.
FFSpMV: sparse matrix-vector product over finite fields. |
|
BGPR SafeScale : Security And Fault-tolerance to Exploit Safety ambient Computing in lArge scaLe Environments.
SHIVA, Secured Hardware Immune Versatile Architecture. |
| Enseignements | Polycopiés et Années précédentes |
| Dernière mise à jour : Mardi 5 Février 2013 | http://ljk.imag.fr/membres/Jean-Guillaume.Dumas |