Mots-Clés : Vérification de Programmes ; IA ; Statistique en grande dimension ; Erreurs numériques (D. Defour) ; Théorie des graphes (P. Vilamajo), des hypergraphes et des jeux.
Mise à jour le 9 octobre 2024
LAMPS