Vous pouvez rechercher sur ces pages les notices des documents disponibles au CDI.

Portail Documentaire

Centre de Documentation et d'Information du Lycée Bristol de Cannes

CDI du Lycée Bristol
Cannes
06 Cannes
France

contact

Titre :	Les assistants de preuve ou la vérité mathématique (2025)
Auteurs :	Antoine Chambert-Loir, Auteur
Type de document :	Article : texte imprimé
Dans :	La Recherche (Paris. 1970) (582, 07/2025)
Article en page(s) :	p.46-47
Langues :	Français
Mots-clés :	Démonstration mathématique / contrôle
Résumé :	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 croissante des ordinateurs. Objectif de mathématiques assistées par ordinateur.
Type de nature :	Documentaire
Genre(s) :	Article de périodique