A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver

9 novembre 1885 : #CeJourLà naissance de Hermann Weyl (†8/12/1955), mathématicien et physicien allemand. Ses travaux portent notamment sur la théorie des groupes, la théorie des nombres, les fondements des mathématiques et la géométrie. fr.wikipedia.org/wiki/Hermann_W… #mathématiques

Blue area ? GeoGebra #GeoGebra

Theorem of the Day (November 9, 2025) : Netto’s Conjecture (Dixon’s Theorem) Source : Theorem of the Day / Robin Whitty pdf : theoremoftheday.org/GroupTheory/Ne… notes : theoremoftheday.org/Resources/Theo… #mathematics #maths #math #theorem

"Les équations analytiques [...] que Descartes a introduites le premier dans l'étude des courbes et des surfaces, ne sont pas restreintes aux propriétés des figures [...]" – Joseph Fourier (1768-1830) #citation #mathématiques #maths #math

"The analytical equations [...] which Descartes was the first to introduce into the study of curves and surfaces, are not restricted to the properties of figures [...] – Joseph Fourier (1768-1830) #quote #mathematics #maths #math

Blue area ? GeoGebra #GeoGebra

Theorem of the Day (November 10, 2025) : The Borsuk–Ulam Theorem Source : Theorem of the Day / Robin Whitty pdf : theoremoftheday.org/Topology/Borsu… notes : theoremoftheday.org/Resources/Theo… #mathematics #maths #math #theorem

"I think you can't do mathematics without the ability to concentrate. But also, that's where the fun is, the rest of the world fades away and it's you and the mathematics.[...]" – Karen Uhlenbeck (1942–) #quote #mathematics #maths #math

"Je pense qu'on ne peut pas faire de mathématiques sans la capacité de se concentrer. Mais c'est aussi là qu'est le plaisir, le reste du monde s'efface et il n'y a que vous et les mathématiques.[...]" – Karen Uhlenbeck (1942–) #citation #mathématiques #maths #math

Blue area ? GeoGebra #GeoGebra

Source : Podcast Tête-à-tête Chercheuse(s) : S03E08. Nora Aïssiouene podcast.ausha.co/tat-chercheuse… #mathématiques #maths #math #podcast

The Forgotten Story of Indian Calculus Source : Youtube / Numberphile / Swagat Saurav Mishr youtube.com/watch?v=G23Jx0… #mathematics #maths #math #YouTube Numberphile

Theorem of the Day (November 11, 2025) : The Strong Perfect Graph Theorem Source : Theorem of the Day / Robin Whitty pdf : theoremoftheday.org/CombinatorialT… notes : theoremoftheday.org/Resources/Theo… #mathematics #maths #math #theorem

"When the difficulty of a problem lies only in finding out what follows from certain fixed premises, mathematical methods furnish invaluable wings for flying over intermediate obstructions." – Arthur Mellen Wellington (1847–1895) #quote #mathematics #maths #math

"Quand la difficulté d'un problème réside uniquement dans la détermination de ce qui découle de certaines prémisses fixes, les méthodes mathématiques fournissent des ailes précieuses [...]" – Arthur Mellen Wellington (1847–1895) #citation #mathématiques #maths #math

12 novembre 1927: #CeJourLà naissance de Yutaka Taniyama (†17/11/1958), mathématicien japonais connu essentiellement pour la conjecture de Shimura-Taniyama-Weil, dont la preuve partielle par Andrew Wiles a permis de justifier le dernier théorème de Fermat fr.wikipedia.org/wiki/Yutaka_Ta…

Theorem of the Day (November 12, 2025) : Heath’s Finitely Discontinuous Function Theorem Source : Theorem of the Day / Robin Whitty pdf : theoremoftheday.org/Topology/Heath… notes : theoremoftheday.org/Resources/Theo… #mathematics #maths #math #theorem

"At every major step, physics has required, and frequently stimulated, the introduction of new mathematical tools and concepts. Our present understanding of the laws of physics, with their extreme precision [...]" – Michael Atiyah (1929–2019) #quote #mathematics #maths #math

"À chaque étape majeure, la physique a nécessité, et souvent stimulé, l'introduction de nouveaux outils et concepts mathématiques. Notre compréhension actuelle des lois de la physique, avec leur extrême précision [...] – Michael Atiyah (1929–2019) #citation #mathématiques #maths