Nicolas Thiéry
IdRefMots clés
FR |
EN
Combinatoire algébrique
Coq (logiciel)
Monoïdes
Groupes de permutations
Représentations d'algèbres
Groupes de Coxeter
Partition
Ensembles partiellement ordonnés
Apprentissage automatisé
Meta-learning
Processus de décision markovien
Apprentissage automatique
Apprentissage profond
Apprentissage par renforcement (intelligence artificielle)
Données massives
Preuve formelle
Assistant de preuve Coq
Analyse réelle
Analyse mathématique
Baccalauréat