Cartes, maths et Lune : comment les innovations des femmes ont façonné l’informatique

Mois de l'histoire des femmes : comment les innovations des femmes font avancer la programmation informatiqueView on euronews ...
Le Temps

Mathématiques assistées par ordinateur: le futur de la recherche?

Les assistants à la preuve, des programmes informatiques capables de vérifier automatiquement la validité d’une démonstration, font leur arrivée dans les laboratoires. Remportant toujours plus ...