TY  - RPRT
TI  - Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
AU  - Bernardo Subercaseaux
AU  - John Mackey
AU  - Marijn J. H. Heule
AU  - Ruben Martins
PY  - 2024
UR  - https://arxiv.org/abs/2311.03645
ID  - 2311.03645
ER  -