mi-ayala/GeometryOptimizationCAPs

Julia codes associated with the paper: "Computer-Assisted Proofs for Geometry Optimization: From Crystallization to Carbon Nanotubes" by M Ayala, R Choksi and B Wirth.

语言：Julia · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库