Article de périodique
Les assistants de preuve ou la vérité mathématique
- Dans le périodique : La recherche, n°582 (juillet 2025) p.46-47
- Antoine Chambert-Loir
Retour sur les enjeux de la démonstration mathématiques et son degré de fiabilité. Recours à la méthode du pivot de Gauss pour limiter les erreurs d'arrondis. Possibilité de vérifier formellement certaines théories grâce à la puissante croissant[...]
