Article de périodique
Pourquoi raconter des mathématiques à un ordinateur
- Dans le périodique : La Recherche (Paris. 1970), n°571 (10/2022) p.72-80
- Patrick Massot
Le point sur l'intervention des ordinateurs en mathématiques dans la résolution des théorèmes, leur communication et leur enseignement. Face à la complexité des théorèmes, les ordinateurs interviennent comme "assistant de preuve". Plus récemment[...]
