EntityQ966873· pop 21· linked from 93 articlesKepler conjectureSign in to savemathematical theorem about sphere packingConnectionsQ118398EntityWeaire–Phelan structureEntityproof assistantEntitymathematicsEntityCarl Friedrich GaussEntityJohannes KeplerEntityInternational Standard Book NumberEntityDavid HilbertEntitysphereEntityWayback MachineEntitydigital object identifierEntityInternational Standard Serial NumberEntitytheoremEntityKepler's laws of planetary motionEntityUniversity of MichiganEntityKepler Space TelescopeEntityfoamEntityWalter RaleighEntityEuclidean spaceEntitybibcodeEntityCategoriesComputer-assisted proofsConjectures that have been provedDiscrete geometryGeometry problemsHilbert's problemsJohannes KeplerPacking problemsSpheres