see also the index (by topic, by tool, by reference, by year)
Léon Gondelman
- A small puzzle involving a Roberval balance
- Double WP
- Ropes
- Tarski fixed point theorem
- VerifyThis 2015: solution to problem 2
- VerifyThis 2016: Strassen's Matrix Multiplication
see also the index (by topic, by tool, by reference, by year)