Theorem of the Day (August 11, 2025) : Woodall’s Hopping Lemma
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/CombinatorialTheory/HoppingLemma/TotDHoppingLemma.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#150
#math
200 posts91 participants12 posts today
Great to see this initiative for applied mathematics: "GAMM Activity Group on Research Software Engineering and Research Data Management in Mathematics and Mechanics" https://gamm-ag-rse-rdm.github.io
GAMM RSE & RDMGAMM RSE & RDMGAMM Activity Group on Research Software Engineering and Research Data Management in Mathematics & Mechanics # The development of research software and the handling of research data has been essential for many areas within the fields of the GAMM for decades and ranges from simulation scripts and data to accompany publications to extensive software libraries and petabytes of data for specific application areas.
Readings shared August 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-25 #Agda #CategoryTheory #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math #OCaml
Vestigium · Readings shared August 10, 2025The readings shared in Bluesky on 10 August 2025 are
A practical formalization of monadic equational reasoning in dependent-type theory. ~ Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa, #ITP #
Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:
1: The natural numbers (A000027) 
https://decompwlj.com/3DgraphGen/Natural_numbers.html
Here's the question for August 11th from the AMS Daily Epsilon of Math Calendar
@DailyEpsilon
11 août 1956 : #CeJourLà naissance de Pierre-Louis Lions, mathématicien français médaillé Fields en 1994 pour ses travaux sur les équations aux dérivées partielles non linéaires.
https://fr.wikipedia.org/wiki/Pierre-Louis_Lions
#mathématiques #maths #math
fr.wikipedia.orgPierre-Louis Lions — Wikipédia
TS. Trần Nam Dũng chia sẻ về sự cần thiết thay đổi phương pháp dạy và học Toán trong bối cảnh AI ngày càng phát triển.
Vietnamnet.vn · TS Trần Nam Dũng nói điều cần thay đổi về dạy học Toán trong thời đại AI
One day, one decomposition
A002081: Numbers congruent to {2, 4, 8, 16} (mod 20)
3D graph, threejs - webGL https://decompwlj.com/3Dgraph/A002081.html
3D graph Gen, threejs animation https://decompwlj.com/3DgraphGen/A002081.html
2D graph, first 500 terms https://decompwlj.com/2Dgraph500terms/A002081.html
mini nerdlegame 1300 3/6
mini binerdle 1187 2&3/7
micro nerdlegame 1073 4/6
speed nerdlegame 1300 solved in 3m 1s!
️ Instant Nerdle 1286 solved in 0m 20s!
nerdlegame 1300 3/6
binerdle 1187 3&4/7
Mathle 1295 2/5
mathlegame.com
targets #550
Score 1/10 *
Upto 10 points (30) from 4 daily Targets @nerdlegame.com
targets #550
Score 3/10 *
Upto 10 points (30) from 4 daily Targets @nerdlegame.com
targets #550
Score 6/10 *
Upto 10 points (30) from 4 daily Targets @nerdlegame.com
targets #550
Score 10/10 *
Upto 10 points (30) from 4 daily Targets @nerdlegame.com
**Detailed Logs Show ChatGPT Leading a Vulnerable Man Directly Into Severe Delusions**
_"What is happening dude," he asked. ChatGPT didn't mince words: "What’s happening, Allan? You’re changing reality — from your phone."_
Futurism · Detailed Logs Show ChatGPT Leading a Vulnerable Man Directly Into Severe Delusions
**Calculus Made Easy by Silvanus P. Thompson**
"_Read or download for free_"
https://www.gutenberg.org/ebooks/33283.
#ProjectGutenberg #Maths #Mathematics #Math #Read #Download #Nonfiction #Book #EBook #Bookstodon @bookstodon
Project GutenbergCalculus Made Easy by Silvanus P. ThompsonFree kindle book and epub digitized and proofread by volunteers.
hard mathler 1286 2/6
mathler.com
mathler 1286 3/6
mathler.com
easy mathler 1286 4/6
mathler.com
killer mathler 1286 3/6
mathler.com
"One of the essential things a mathematician does is recognize the internal coherence and generative character belonging to certain concepts. It happens that very simple concepts can suggest all sorts of ideas or models. Investigating these, one truly has the impression of exploring a world step by step – and of connecting up the steps so well, so coherently, that one knows it has been entirely explored [...] – Alain Connes (1947-)
#quote #mathematics #math #maths
"Un des traits essentiels du travail du mathématicien est de reconnaître la cohérence interne et le caractère génératif propre à certains concepts. Des concepts très simples arrivent à engendrer toutes sortes d'autres idées ou d'autres modèles. De proche en proche, on a vraiment l'impression d'explorer un monde... et d'atteindre une cohérence qui montre qu'on en a exploré entièrement une région [...]" – Alain Connes (1947-)
#citation #mathématiques #maths #math
Numbword #1095 100/100
"You'll never find a rainbow if you're looking down."
- Charlie Chaplin
numbword.comNumbword
Save a par
calcule.heavymoons.net?20250810
(＋)÷＋＝
(＋)÷＋＝
(＋)÷＋＝
* Let's play how many right numbers can we get in the wrong spot again.... turns out 4 again *
Replied in thread
