Progress on the Sphere Packing Project
Sidharth Hariharan, Seewoo Lee, Chris Birkbeck (Carnegie Mellon, UC Berkeley, University of East Anglia)
Wed Jan 21, 19:00-19:30 (4 weeks ago)
Abstract: We will discuss the ongoing effort to formalise Maryna Viazovska's Fields medal work on Sphere Packings in $8$ dimensions. We will recap the main achievements so far and the problems that still remain.
logic in computer sciencemathematical softwareMathematics
Audience: researchers in the discipline
( video )
| Organizer: | Jireh Loreaux* |
| *contact for this listing |
Export talk to