[fr] Depuis longtemps, on utilise les mathématiques pour vérifier les programmes informatiques. Il s’avère que l’informatique peut rendre la pareille aux mathématiques : pour vérifier de manière automatique une preuve mathématique, il existe des logiciels appelés assistant de preuve. La chronique Mathématiques de Nadia Lafrenière, Stéphanie Schanck et Élise Vandomme du 11 décembre 2017 nous en apprend plus sur Coq, un de ces logiciels
Disciplines :
Mathematics
Author, co-author :
Vandomme, Elise ; Université de Liège - ULiège > Département de mathématique > Probabilités et statistique mathématique
L’œuf ou la poule, l'émission scientifique de la radio CHOQ, tous les lundis de 20h à 20h45 ! Chaque émission se construit autour d'un thème. Des chroniques "Actualités des Sciences", "Environnement & Toxicologie", "Femmes en Science", "Mathématique" et l'agenda scientifique viennent compléter le portrait!