Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (48)
Affiner la recherche
Transport optimal : de Monge aux réseaux des neurones / Gabriel Peyré / Sophia Publications (2022) in La Recherche (Paris. 1970), 568 (01/2022)
[article]
Titre : Transport optimal : de Monge aux réseaux des neurones Type de document : texte imprimé Auteurs : Gabriel Peyré, Auteur Editeur : Sophia Publications, 2022 Article : p.114-121 Langues : Français (fre)
in La Recherche (Paris. 1970) > 568 (01/2022)Descripteurs : démonstration mathématique Résumé : 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 le "théorème de Brenier". Application dans le domaine cellulaire. Nature du document : documentaire Genre : Article de périodique [article]
Transport optimal : de Monge aux réseaux des neurones
de Gabriel Peyré
In La Recherche (Paris. 1970), 568 (01/2022), p.114-121
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 le "théorème de Brenier". Application dans le domaine cellulaire.Variations autour de la notion de preuve / Archimède (2013) in Tangente. Hors-série (Paris), 049 (03/2013)
[article]
Titre : Variations autour de la notion de preuve Type de document : texte imprimé Editeur : Archimède, 2013 Article : p.33-43 Note générale : Bibliographie.
in Tangente. Hors-série (Paris) > 049 (03/2013)Descripteurs : démonstration mathématique Résumé : Dossier sur la notion de preuve en mathématiques. De la conjecture au théorème : conjecture d'Euler, conjecture de Polya, conjecture de Goldbach, conjecture de Syracuse ; théorème des quatre couleurs, théorème de Fermat-Wiles, théorème de Poincaré-Perelman. Théorème d'incomplétude établi par le logicien autrichien Kurt Gödel. Problèmes de David Hilbert, problèmes de Steve Smale. Question de la validation des résultats : calculs d'Euler, démonstration des nombres transcendants de Georg Cantor, démonstration du théorème des quatre couleurs par Kenneth Appel et Wolfgang Haken. Entretien avec Georges Gonthier qui a réussi, avec son équipe, à produire une preuve formelle du théorème de Feit-Thompson en théorie des nombres. Nature du document : documentaire Genre : Article de périodique [article]
Variations autour de la notion de preuve
In Tangente. Hors-série (Paris), 049 (03/2013), p.33-43
Dossier sur la notion de preuve en mathématiques. De la conjecture au théorème : conjecture d'Euler, conjecture de Polya, conjecture de Goldbach, conjecture de Syracuse ; théorème des quatre couleurs, théorème de Fermat-Wiles, théorème de Poincaré-Perelman. Théorème d'incomplétude établi par le logicien autrichien Kurt Gödel. Problèmes de David Hilbert, problèmes de Steve Smale. Question de la validation des résultats : calculs d'Euler, démonstration des nombres transcendants de Georg Cantor, démonstration du théorème des quatre couleurs par Kenneth Appel et Wolfgang Haken. Entretien avec Georges Gonthier qui a réussi, avec son équipe, à produire une preuve formelle du théorème de Feit-Thompson en théorie des nombres.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 015389 Disponible Un vieux problème de courbes enfin bouclé / Thomas Dedieu / Pour la Science (2023) in Pour la science, 545 (03/2023)
[article]
Titre : Un vieux problème de courbes enfin bouclé Type de document : texte imprimé Auteurs : Thomas Dedieu ; Clémentine Laurens Editeur : Pour la Science, 2023 Article : p.52-57 Langues : Français (fre)
in Pour la science > 545 (03/2023)Descripteurs : démonstration mathématique Mots-clés : courbe (géométrie) Résumé : Le point sur la démonstration proposée par Eric Larson et Isabel Vogt, deux mathématiciens américains, pour résoudre le problème d'interpolation : un problème géométrique consistant à trouver par combien de points il est possible de forcer une courbe à passer sans la dénaturer, l'aboutissement de plusieurs siècles de recherche mathématique. Interview de Thomas Dedieu, mathématicien, sur le problème d'interpolation et la démonstration proposée par Eric Larson et Isabel Vogt. Nature du document : documentaire Genre : Article de périodique [article]
Un vieux problème de courbes enfin bouclé
de Thomas Dedieu, Clémentine Laurens
In Pour la science, 545 (03/2023), p.52-57
Le point sur la démonstration proposée par Eric Larson et Isabel Vogt, deux mathématiciens américains, pour résoudre le problème d'interpolation : un problème géométrique consistant à trouver par combien de points il est possible de forcer une courbe à passer sans la dénaturer, l'aboutissement de plusieurs siècles de recherche mathématique. Interview de Thomas Dedieu, mathématicien, sur le problème d'interpolation et la démonstration proposée par Eric Larson et Isabel Vogt.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 025825 Disponible