nill0
- Karma
- 1,385
- Created
- 1 year ago
About
Curiosity is all we need!Recent Submissions
- 1. ▲ Trefoil Knots in Algebraic Geometry (hidden-phenomena.com)
- 2. ▲ Programming the ENIAC (2011) (columbia.edu)
- 3. ▲ Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf] (tomandmaria.com)
- 4. ▲ Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (github.com)
- 5. ▲ Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf] (matt.colorado.edu)
- 6. ▲ Internal Set Theory (en.wikipedia.org)
- 7. ▲ Algorithm = Logic and Control(1979) (dl.acm.org)
- 8. ▲ Towards a Definition of an Algorithm(2010) (arxiv.org)
- 9. ▲ Building geometry solvers for the IMO Grand Challenge(2020) (jesse.so)
- 10. ▲ Javier Gomez-Serrano – New Math, AI Developments in Fluid Mechanics [video] (youtube.com)