数学
数学の概念、理論、パズル、および応用
-
数学
コンピューターは数学の定理を完璧な精度で証明できる
-
数学
Abellaが論理プログラミングの隠れたルールを証明
-
数学
Leanのエンジンが複雑な数学的証明を自動化
-
数学
NuPRLは数学の証明を完璧なプログラムに変える
-
数学
小さなモデルは無限集合を理解できるか？
-
数学
コンピューターが数学の誤りをチェックする
-
数学
コードと論理は表裏一体
-
数学
Twelfは数学を検証するツールを分析する
-
数学
この論理は排中律を否定する
-
数学
Matitaはコンピューターが数学の証明をチェックするのを助けます
-
数学
基礎を揺るがした数学的証明
-
数学
チャイティンの定数が計算のランダムな核を明らかにする
-
数学
ツォルンの補題は極大鎖を見つけるのに役立つ
-
数学
数学の隠された世界：標準的な数を超えて
-
数学
自然界の対称性が保存則を生み出す
その他のカテゴリ
カテゴリ →