Optimal Packing of Eleven Unit Squares: The Formalized Voronoi-Cell Proof
Source files
root filemain.tex · root file80 KiB · SHA-256 24728d3ef4d74ed8… · view text
auxiliary filefigures/candidate-438.pdf4 KiB · SHA-256 5a984138bc893f38… · raw download withheld by file policy
auxiliary filefigures/construction.pdf2 KiB · SHA-256 b4283a8d861582d0… · raw download withheld by file policy
auxiliary filefigures/voronoi-cover.pdf4 KiB · SHA-256 32afc7250fd3422e… · raw download withheld by file policy