Flyspeck Project
http://www.math.pitt.edu/~thales/flyspeck/index.html
いわゆる球の最密充填率に関するKeplerの予想(1998年ごろ解決)のformal proofを与えようというプロジェクト。定理証明系HOLを使ってるらしいので、勉強してみようかなー
http://www.math.pitt.edu/~thales/flyspeck/index.html
いわゆる球の最密充填率に関するKeplerの予想(1998年ごろ解決)のformal proofを与えようというプロジェクト。定理証明系HOLを使ってるらしいので、勉強してみようかなー