A Milestone in Formalization: The Sphere Packing Problem in Dimension 820mmeasurablefunc 2 days ago 0 commentsRead Article on alphaxiv.org FR version is available. Content is displayed in original English for accuracy.
Discussion (0 Comments)Read Original on HackerNews
No comments available or they could not be loaded.