Computer-assisted local maximality of regular polygons for torsional rigidity figure
AlphaXiv 中文概览(可滚动查看)