Posts tagged "mathematics"
- Dependent Types in 200 Lines of Python - November 18, 2024
- New Rank 29 Elliptic Curve - November 14, 2024
- Pi from String Theory Amplitudes - September 1, 2024
- Diaconescu's Theorem - August 5, 2024
- Scattering Amplitudes in Quantum Field Theory - April 25, 2024
- Enough Numbers to Build a Universe - February 1, 2024
- Proving Trivial Theorems in Lean - February 1, 2024
- Portfolio Theory with CVXOPT - February 1, 2024
- From Newton to Einstein and Back - February 1, 2016
- Space-time Algebra in Python - April 21, 2013