Mots-Clés : Vérification de Programmes ; IA ; Statistique en grande dimension ; Erreurs numériques ; Théorie des graphes, des hypergraphes et des jeux.
Mise à jour le 23 avril 2024
LAMPS