Warm up your geometry skills! 💪
How many diagonals does a decagon have?
#math #geometry #puzzle #book #MasteringGeometryPuzzles #countdown #BookSky #iTeachMath #EduSky
Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. The Pappus–Guldin Theorems : Suppose that a plane curve is rotated about an axis external to the curve. Then 1. the resulting surface area of revolution is equal to the product of the length of the curve and the displacement of its centroid; 2. in the case of a closed curve, the resulting volume of revolution is equal to the product of the plane area enclosed by the curve and the displacement of the centroid of this area.
Theorem of the Day (March 30, 2026) : The Pappus–Guldin Theorems
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/8ISqNzC
notes : buff.ly/3k7Culi
#mathematics #maths #math #theorem
Readings shared March 29, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #CategoryTheory #ITP #LeanProver #Logic #Math #Programming
1/5
#MathsMonday #Mathematics #Math
This week I'm coming back to the topic of 0.(3) only being approximately equal to 1/3, which I discussed previously at https://dotnet.social/@SmartmanApps/115207065189190900
At the time, I knew this was true simply from […]
[Original post on dotnet.social]
Problem for 30th March, 2026 from the
@dailyepsilon.bsky.social
calendar
#Math
#MathSky
#MathToday
#Mathematics
Problem for March 30th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon
30 mars 1892 : #CeJourLà naissance de Stefan Banach (†31/8/1945), mathématicien polonais qui a contribué au développement de la théorie des espaces vectoriels topologiques et de l'analyse fonctionnelle (cf. espaces de Banach, th. de Hahn–Banach).
buff.ly/WTjl2uV
#mathématiques #maths #math
Uh, one sale was better than the other.
#math
I'm currently watching "Shadow Encryption #physics #math #programming #visualization #simulation #coding"
https://www.youtube.com/watch/JPIS_UTjbyA
In today's conversation with my partner;
"Art is just vibe mathing."
and
"Mumble-rap is the punk of this generation."
Having some deep discussions over here.
#deepthoughts #philosophy #thinking #conversation #art #math #mumblerap #punk
#nature #climate #environment #fakehistory #music #genetic #science #covid #history #reich #empire #power #information #lenin #britain #lizzie #starmer #knowledge #us #davinci #napoleon #Lloop #feedback #math #tennis #uk #Iran #israel #russia
Life back in the late 20th century.
So I made this problem into a video.
youtu.be/6jZukfZHd-4
#MathSky #ProblemSolving #Math
In 2022, EPFL's Maryna Viazovska won the Fields Medal at the International Congress of Mathematicians. This July, the 2026 Fields Medalists will be announced at #ICM2026 in Philadelphia: www.icm2026.org/event/ac193975-5d24-4628... #math
#nature #climate #environment #fakehistory #music #genetic #science #covid #history #reich #empire #power #information #lenin #britain #lizzie #starmer #knowledge #us #davinci #napoleon #Lloop #feedback #math #tennis #Iran #israel #tudor #google
End of the Igor TUDOR Era and the Tudor Monarchs
Multiples of 9,
+/- alternating
Even then odd tens, odd then even ones
9 numbers
1st+last=90
2nd+8th=-90
3rd+7th=90
4th+6th=-90
Leaving 45
81-72+63-54+45-36+27-18+9=45
Which is the number in the middle of the equation.
9's are fabulous for the patterns they have.
#MathsIsFun #Patterns #Math
Doddle of my furry version of my oc math 🖤
He is a dark Grey wolf 🐺
I know it has some mistakes but I like it 🖤
#traditionalart #furryart #oc #originalcharacter #furryoc #sketchbookpage #brushpen #traditionalilustration #traditionalartist #furrywolf #wolf #math #ocart #ocdoodle #drawing #art
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. ~ Jarod Alper. pubs.ams.org/BULL/0000-00... #AI4Math #LeanProver #ITP #Math
A Lean formalisation of sphere packing in dimension 8. ~ Siddharth Hariharan. tube.switch.ch/videos/NHXRC... #LeanProver #ITP #Math
Formalizing the sphere packing problem. ~ Maryna Viazovska. tube.switch.ch/videos/ggmRt... #LeanProver #ITP #Math
Lean: Collaboration using formalization. ~ Floris van Doorn. tube.switch.ch/videos/AftiL... #LeanProver #ITP #Math
#nature #climate #environment #fakehistory #music #genetic #science #covid #history #reich #empire #power #information #lenin #britain #lizzie #starmer #knowledge #us #davinci #napoleon #Lloop #feedback #math #tennis #uk #Iran #israel #russia #reggae
Matrix - The Three Lions of Richard Lionheart
youtube.com/shorts/CW6kC... happee sundaay! #shadersundays #reactnative #skia #shaders #spinners #animation #Math #android
#nature #climate #environment #fakehistory #music #genetic #science #covid #history #reich #empire #power #information #lenin #britain #lizzie #starmer #knowledge #us #davinci #napoleon #Lloop #feedback #math #tennis #uk #Iran #israel #russia #reggae
Matrix Connect - Iron, Lion Zion - Bob Marley
Executable Gödel encodings: A verified runtime for logical syntax. ~ Adrian Diamond. aadsystems.com/papers/godel... #LeanProver #ITP #Logic #Math