Theorem of the Day (March 3, 2025) : Wolstenholme’s Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/Binomial/Wolstenholme/TotDWolstenholme.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#226
#mathematics #maths #math #theorem
Drawing end point and start point of each iteration with Newton's fractal
Revue de presse février 2025
Source : Images des mathématiques
https://images.math.cnrs.fr/revues_de_presse/fevrier-2025/
#mathématiques #maths #math
¿Podemos creer la prueba de la conjetura? ~ Marta Macho Stadler. https://culturacientifica.com/2017/06/07/teorema-los-cuatro-colores-4-podemos-creer-la-prueba-la-conjetura/ #Math #CompSci
An invitation to Blueprint-driven formalisation of mathematical research in Lean (Codes). ~ Pietro Monticone. https://github.com/pitmonticone/LeanCHANGE #ITP #LeanProver #Math
An invitation to Blueprint-driven formalisation of mathematical research in Lean. ~ Pietro Monticone. https://pitmonticone.github.io/Talks/2025/CHANGE #ITP #LeanProver #Math
3 mars 1916 : #CeJourLà naissance de Paul Halmos (†2/10/2006), mathématicien américain d'origine hongroise dont les travaux portent notamment sur la logique, les probabilités, l'analyse fonctionnelle, la théorie ergodique, et la théorie des opérateurs.
https://fr.wikipedia.org/wiki/Paul_Halmos
#mathématiques #maths #math
3 mars 1898 : #CeJourLà naissance de Emil Artin (†20/12/1962), mathématicien autrichien dont les travaux ont contribué au développement de l'algèbre moderne. Il a introduit la th. des tresses, et résolu le 17e problème de Hilbert (et le 9e partiellement).
https://fr.wikipedia.org/wiki/Emil_Artin
#mathématiques #maths #math
3 mars 1845: #CeJourLà naissance de Georg Cantor (†6/1/1918), mathématicien allemand créateur de la théorie des ensembles, des concepts de nombres cardinaux et ordinaux, de la notion de dénombrabilité. C'est aussi lui qui a formulé l'hypothèse du continu.
https://fr.wikipedia.org/wiki/Georg_Cantor
#mathématiques #maths #math
One day, one decomposition
A195270: 3-gap primes: Prime p is a term iff there is no prime between 3*p and 3*q, where q is the next prime after p
3D graph, threejs - webGL 
2D graph, first 500 terms
Rotors: A practical introduction for 3D graphics
@MHowell There seem to be lots of #PurityTests these days. When I was young, I called myself a #Libertarian. I changed to #Republican when I found the #OldTag was a #Euphemism for #SelfishMotherFucker. I'm #FiscallyConservative. I left the #Repub #Tag when #TrentLott turned the @GOP into #BigotWorld. I left the #BubbleOfPrivilege and taught #Science and #Math at a #GirlsSchool in #Kenya. Now, my new #Tag is #ScreamingLibtard. I can change. #IAmNotABrand.
Maths Mastermind - Day 73
BOOST YOUR BRAIN POWER WITH THIS FUN #MATHEMATICS #PUZZLE !!!
I talked about this at ATD3 on SimplexSpaces, around minute 12?
https://vimeo.com/1059784825 Many thanks to @ANRT for organising and indulging. #interpolation #math #typedesign (2/2)
I've switched to lurking here for a while due to the effects the current political situation in the US is having on me. I am making some big changes to how I do things, including how I livestream and host various products of my math research. I'll be posting about the steps I take as I take them.
I have switched from #Firefox to #Librewolf on my desktops. This was pretty easy since I have been storing my bookmarks as a plain text file on my desktop for a while now. Very portable. I just wish #VideoDownloadHelper worked on Librewolf.
I am looking into #XMPP now and trying to find a server to sign up for. Does anyone know any with open registration?
I have also recently gotten into #IRC again, and am excited to get more familiar with the #Pidgin client on desktop.
Working on my second tutorial using SFML to make C++ interactive and fun!
#PlusPlusPixel #computergraphics #cpp #c++ #math #programming #education
One of my beliefs as a high school #math teacher is that every course is a geometry course, which I guess is the opposite of what another teacher once told me: "Geometry is a crutch".
