Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
addClaim

Verification code for "An exact formula for optimal axis-parallel packing of eight squares"

Authors: Badger, Matthew;

Verification code for "An exact formula for optimal axis-parallel packing of eight squares"

Abstract

Verification code for M. Badger, “An exact formula for optimal axis-parallel packing of eight squares.” contains verify_eight_squares.py (version 1.1.0) and the LaTeX source of the paper (version of October 20, 2026). Run python3 verify_eight_squares.py --tex 8-square.tex from that folder; see its README for what is checked.

Powered by OpenAIRE graph
Found an issue? Give us feedback