Les assistants de preuve ou la vérité mathématique / Antoine Chambert-Loir in La Recherche (Paris. 1970), 582 (07/2025)

Public ISBD [article]  inLa Recherche (Paris. 1970) > 582 (07/2025) Titre : Les assistants de preuve ou la vérité mathématique Type de document : texte imprimé Auteurs : Antoine Chambert-Loir, Auteur Année de publication : 2025 Article en page(s) : p.46-47 Langues : Français (fre) 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. Nature du document : documentaire Genre : Article de périodique [article] Les assistants de preuve ou la vérité mathématique [texte imprimé] / Antoine Chambert-Loir, Auteur . - 2025 . - p.46-47. Langues : Français (fre) in La Recherche (Paris. 1970) > 582 (07/2025) 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. Nature du document : documentaire Genre : Article de périodique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire