Kepler予想
三次元ユークリッド空間における球充填に関する数学的な予想
Flyspec Project
で
形式化
されている
A FORMAL PROOF OF THE KEPLER CONJECTURE
. 2015
ケプラー予想 - Wikipedia
関連
形式手法
Coq
定理証明支援系
#数学
#定理証明支援系