Lean 4 para matemáticos: guía docente. jaalonso.github.io/calculemus/p...
@jalonso.eurosky.social
@jalonso.eurosky.socialLean 4 para matemáticos: guía docente. jaalonso.github.io/calculemus/p...
@classweekly.bsky.socialJust went live: a Proper Fractions Workbook for 2nd grade. 6 free printable worksheets, all focused on one skill, so your little ones get real practice instead of a page here and there. Print what you need, skip what you don't.
@paysmaths.bsky.social"Les mathématiques sont à bien des égards les plus élaborées et les plus sophistiquées des sciences – c'est du moins ce qu'il me semble, en tant que mathématicien. Je trouve donc à la fois un plaisir et une contrainte[...] –Jacob Bronowski (1908–1974)
#citation #mathématiques #sciences #maths #math
@paysmaths.bsky.social"Mathematics is in many ways the most elaborated and sophisticated of the sciences – or so it seems to me, as a mathematician. So I find both a special pleasure and constraint in describing the progress of mathematics [...]" – Jacob Bronowski (1908–1974)
#quote #mathematics #sciences #maths #math
@calculatinghub.bsky.social📊 Binary To Hex 📊
Discover our Math calculator!
This tool: binary to hex, can help you save a lot of time and headaches
Perfect for anyone needing quick and accurate math calculations.
Try it now: https://www.calculatinghub.com/en/converters/math/binary-to-hex/
@adamcoffman.mathstodon.xyz.ap.brid.gySunbeam AND papers to grade? Pedro the #Math Cat 🐈 cannot resist
#cats #CatsOfMastodon #Caturday
@paysmaths.bsky.socialTheorem of the Day (October 10, 2026) : Euler’s Even Zeta Formula
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/kYTvtHu
notes : buff.ly/xPPxu4o
@chatgpthelp.nlMy math thesis took five years
The AI solved it during my lunch break and asked for dessert
#AI #math #futureofwork
https://chatgpthelp.nl/memes/2026-10-10/
@paysmaths.bsky.socialWhat mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
Source : What's new / Terence Tao / Thomas Hales
buff.ly/b7c1BAD
#mathematics #maths #math @teorth.bsky.social
@cagries.bsky.socialIn high dimensions a scaled Gaussian distribution, the ball and the sphere all blur together.
A write-up on the n-dimensional Gaussian, its thin shell and on the curious blurring phenomenon above.
Now on Bluesky, happy reading!
@jeandeslunes.bsky.social
@mtl-science.bsky.social
@roybooks.bsky.social
@dan-fuzz.bsky.social
