>>277
ヘイルズによるケプラー予想の証明を
念頭に置いての質問かと思いますが
対称度が高い特殊な格子なので
計算機は特に使ってないらしいです

知らんけど