Retour au reportage Retour au reportage
20230062_0041

© Christian MOREL / LIPN / CNRS Images

Référence

20230062_0041

Une preuve formalisée

Afin d'écrire des preuves mathématiques dans un assistant à la preuve, les informaticiennes et informaticiens développent des langages spécifiques, permettant la stabilité du code et la rapidité de son exécution. Celui-ci peut différer grandement du langage utilisé pour écrire des preuves sur papier, mais permet parfois de révéler de nouvelles intuitions mathématiques.

Institut(s)

Délégation(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.