Auteur Antoine Chambert-Loir

3 Documents disponibles écrits par cet auteur

Ajouter le résultat à ma sélection Affiner la recherche

Article de périodique

"Les algorithmes changent déjà notre vision du monde"

Dans le périodique : Les Cahiers de Science et vie, n°179 (07/2018) p.84-86

Personne interviewée : Antoine Chambert-Loir

Intervieweur : Pascale Desclos

Interview d'Antoine Chambert-Loir, spécialiste de la géométrie algébrique et d'arithmétique, sur les mathématiques : l'essor des mathématiques et de la recherche mathématique depuis le milieu du 20e siècle, ses applications dans les domaines de [...]

Ajouter à ma sélection

Nouveauté

Article de périodique

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

Dans le périodique : La Recherche, 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[...]

Ajouter à ma sélection

Article de périodique

De la régularité dans le désordre

Dans le périodique : La Recherche, n°563 (11/2020) p.106-112

Auteur : Antoine Chambert-Loir

Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable.

Ajouter à ma sélection

Par page :