nill0
- Karma
- 1,507
- Created
- 1 year ago
About
Curiosity is all we need!Recent Submissions
- 1. ▲ Integrals and Shapes (hidden-phenomena.com)
- 2. ▲ MSC 2020 - Mathematics Subject Classification System [pdf] (msc2020.org)
- 3. ▲ Navier–Stokes Lost in Translation (arxiv.org)
- 4. ▲ Trefoil Knots in Algebraic Geometry (hidden-phenomena.com)
- 5. ▲ Programming the ENIAC (2011) (columbia.edu)
- 6. ▲ Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf] (tomandmaria.com)
- 7. ▲ Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (github.com)
- 8. ▲ Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf] (matt.colorado.edu)
- 9. ▲ Internal Set Theory (en.wikipedia.org)
- 10. ▲ Algorithm = Logic and Control(1979) (dl.acm.org)