Loading Open Internet

Home Explore Create Profile

Home Explore Create Profile

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (Paper)

Open Internet by MindsNet

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (Paper)