計算機援用証明
四色定理
ケプラー予想
Double bubble 予想
Wright 予想
14番目のスメイルの問題、ウォリック・タッカーによって区間演算を使って解決された。
Robbins 予想(英語版)
Connect Four(英語版)
ブールピタゴラス数問題(英語版)