A FORMAL PROOF OF THE KEPLER CONJECTURE
scientific article; zbMATH DE number 6750549
scientific article