数学
数学の概念、理論、パズル、および応用
-
数学
ユークリッドの『原論』は数千年にわたり幾何学を形成した
-
数学
ピタゴラスの定理が古代の秘密を解き明かす
-
数学
素数があなたのオンラインの秘密を守る
-
数学
形式言語では真理を定義できない
-
数学
Isabelle/HOL: コンピューターが数学の正しさを証明する
-
数学
コンピューターは数学の定理を完璧な精度で証明できる
-
数学
Abellaが論理プログラミングの隠れたルールを証明
-
数学
Leanのエンジンが複雑な数学的証明を自動化
-
数学
NuPRLは数学の証明を完璧なプログラムに変える
-
数学
小さなモデルは無限集合を理解できるか？
-
数学
コンピューターが数学の誤りをチェックする
-
数学
コードと論理は表裏一体
-
数学
Twelfは数学を検証するツールを分析する
-
数学
この論理は排中律を否定する
-
数学
Matitaはコンピューターが数学の証明をチェックするのを助けます
その他のカテゴリ
カテゴリ →