Dominique Duval
IdRefMots clés
FR |
EN
Calcul formel
Algorithmes
Démonstration automatique de théorèmes
I-termes
Analyse de l'espace de recherche
Complétude réfutationnelle
Indexation de termes
Algèbre linéaire exacte
Bibliothèque mathématique générique
Multiplication matricielle dense/SpMV
Matrice dense/creuse
Ordonnancements/jeu de galet
Patrons de conception
Calcul exact
Blas
Polynôme caracté
Algorithmes de Keller-Gehrig
Matrices boîtes noires
Algèbre linéaire
Matrices densité