L'url de cette page a bien été copiée dans votre presse-papier!
Reference
20230062_0043
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.
The use of media visible on the CNRS Images Platform can be granted on request. Any reproduction or representation is forbidden without prior authorization from CNRS Images (except for resources under Creative Commons license).
No modification of an image may be made without the prior consent of CNRS Images.
No use of an image for advertising purposes or distribution to a third party may be made without the prior agreement of CNRS Images.
Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.
