Formal computer-verified proof of the Kepler conjecture

2 points| saticmotion | 11 years ago |phys.org | reply