Hancock, N.H. – Anyone faced with the task of building a freestanding pile of spheres quickly discovers an obvious solution: Start by laying out the densest possible two-dimensional packing and then ...
Mathematicians achieve a milestone in verifying the sphere-packing problem solution using Lean, enhancing proof reliability and formalisation efforts.
In 1611 German mathematician Johannes Kepler made a conjecture about the densest way to stack oranges or other spheres with a minimum of space between them. It seemed nothing could beat the standard ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results