9 Documents disponibles dans cette catégorie
Article de périodique
Les assistants de preuve ou la vérité mathématique
- Dans le périodique : La Recherche (Paris. 1970), 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[...]L'énigme des pentagones résolue
- Dans le périodique : La Recherche (Paris. 1970), n°533 (03/2018) p.62-66
- Auteur : Michaël Rao
Rappel du problème des pentagones convexes pouvant remplir complètement une surface et présentation de la démonstration. Encadrés : schémas des quinze types de pentagones qui pavent le plan ; les pavages apériodiques.De l'hypercube à la sensitivité
- Dans le périodique : Pour la science, n°522 (04/2021) p.82-87
- Auteur : Jean-Paul Delahaye
Le point, en mathématiques, sur la résolution de la conjecture de la sensitivité par un jeune mathématicien chinois, Hao Huang : la conjecture de la sensitivité portant sur la complexité des fonctions booléennes, l'utilisation des hypercubes pou[...]Mathématiques : la démonstration historique
- Dans le périodique : Epsiloon, n°041 (11/2024) p.42-55
Un orfèvre du raisonnement par récurrence
- Dans le périodique : Tangente. Hors-série, n°085 (03/2023) p.14-16
- Marc Thierry
Présentation et explication du raisonnement par récurrence (raisonnement par induction mathématique ou induction complète) utilisé dans les démonstrations mathématiques et mis en oeuvre par le philosophe et mathématicien Blaise Pascal : l'origin[...]Un pont géométrique monumental
- Dans le périodique : Pour la science, n°573 (07/2025) p.51-61
- Manon Bischoff
Le point, en mathématiques, sur le programme Langlands : le projet du mathématicien André Weil de faire des liens entre différents domaines des mathématiques ; Robert Langlands et l'origine du programme Langlands (un programme de conjectures rel[...]La tenace conjecture de Syracuse
- Dans le périodique : Pour la science, n°529 (11/2021) p.80-85
- Auteur : Jean-Paul Delahaye
Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver.Transport optimal : de Monge aux réseaux des neurones
- Dans le périodique : La Recherche (Paris. 1970), n°568 (01/2022) p.114-121
- Auteur : Gabriel Peyré
Réflexion sur le concept du "problème de transport optimal" consistant à réduire au maximum un "coût" pour une tâche donnée. Réflexion menée à l'origine par Gaspard Monge, simplifiée par Leonid Kantorovitch. Renouveau du transport optimal avec l[...]Un vieux problème de courbes enfin bouclé
- Dans le périodique : Pour la science, n°545 (03/2023) p.52-57
