Article de périodique
Les assistants de preuve ou la vérité mathématique
- Dans le périodique : La Recherche (Paris. 1970), n°582 (07/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[...]
