| Titre : | Les assistants de preuve ou la vérité mathématique (2025) |
| Auteurs : | Antoine Chambert-Loir |
| Type de document : | Article : texte imprimé |
| Dans : | La Recherche (Paris. 1970) (582, 07/2025) |
| Article : | p.46-47 |
| Langues: | Français |
| Descripteurs : | |
| 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 |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France