Le moteur de recherche
des thèses françaises
Nicolas Thiéry
IdRefMots clés
FR |
EN
Combinatoire algébrique
Groupes de permutations
Monoïdes
Coq (logiciel)
Groupes de Coxeter
Représentations d'algèbres
Ensembles partiellement ordonnés
Théorie des invariants effective
Calcul formel
Algèbres de Hecke affine
Polynômes harmoniques
Génération à un isomorphisme près
Exploration informatique
Partition
Systèmes linéaires denses
Factorisation LU
Bibliothèques logicielles pour l’algèbre linéaire dense
Bibliothèque MAGMA
Calcul hybride multicœur/GPU
Processeurs graphiques