Lance Fortnow: Navier-Stokes and Lean

3 pointsposted 6 hours ago
by digital55
(blog.computationalcomplexity.org)

No comments yet