TY  - RPRT
TI  - Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes
AU  - Miguel Ayala
AU  - Rustum Choksi
AU  - Benedikt Wirth
PY  - 2026
DO  - 10.1137/25m1772824
UR  - https://arxiv.org/abs/2506.22614
ID  - 2506.22614
ER  -