Article : texte imprimé

Les assistants de preuve ou la vérité mathématique

Antoine Chambert-Loir |

Dans la Recherche (Paris. 1970) (582, 07/2025)

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[...]

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

Réserver

Disponible