![A FORMAL PROOF OF THE KEPLER CONJECTURE | Forum of Mathematics, Pi | Cambridge Core | Mathematics, Core, Cambridge A FORMAL PROOF OF THE KEPLER CONJECTURE | Forum of Mathematics, Pi | Cambridge Core | Mathematics, Core, Cambridge](https://i.pinimg.com/originals/9c/b4/c3/9cb4c3fc5316ca1624627c9931cdc843.png)
A FORMAL PROOF OF THE KEPLER CONJECTURE | Forum of Mathematics, Pi | Cambridge Core | Mathematics, Core, Cambridge
![The Impact of Applications on Mathematics: Proceedings of the Forum of Mathematics for Industry 2013 (Mathematics for Industry, 1): Wakayama, Masato, Anderssen, Robert S., Cheng, Jin, Fukumoto, Yasuhide, McKibbin, Robert, Polthier, Konrad, The Impact of Applications on Mathematics: Proceedings of the Forum of Mathematics for Industry 2013 (Mathematics for Industry, 1): Wakayama, Masato, Anderssen, Robert S., Cheng, Jin, Fukumoto, Yasuhide, McKibbin, Robert, Polthier, Konrad,](https://m.media-amazon.com/images/I/41qpUTvwUvL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
The Impact of Applications on Mathematics: Proceedings of the Forum of Mathematics for Industry 2013 (Mathematics for Industry, 1): Wakayama, Masato, Anderssen, Robert S., Cheng, Jin, Fukumoto, Yasuhide, McKibbin, Robert, Polthier, Konrad,
![Cambridge University Press - Mathematics on X: "New selected paper of the month from Forum of #Mathematics, Pi. June's highlight topic is #algebra. Check out the featured article within the collection, which Cambridge University Press - Mathematics on X: "New selected paper of the month from Forum of #Mathematics, Pi. June's highlight topic is #algebra. Check out the featured article within the collection, which](https://pbs.twimg.com/media/Fzi0D4QWIAENb-r.jpg:large)