L'url de cette page a bien été copiée dans votre presse-papier!
Référence
20230062_0044
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.
L’utilisation des médias visibles sur la Plateforme CNRS Images peut être accordée sur demande. Toute reproduction ou représentation est interdite sans l'autorisation préalable de CNRS Images (sauf pour les ressources sous licence Creative Commons).
Aucune modification d'une image ne peut être effectuée sans l'accord préalable de CNRS Images.
Aucune utilisation à des fins publicitaires ou diffusion à un tiers d'une image ne peut être effectuée sans l'accord préalable de 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.
