Hilbert II 0.04.06
ヒルベルトIIプロジェクトは、検証され、読みやすい数学の知識への分散型のアクセスがある。それはすでに名前だが示すように、このプロジェクトは、ヒルベルト·プログラムの伝統である。はヒルベルトIIが正式な正しい形式で数学の定理や証明が含まれている無料の、世界的な数学の知識ベースになることを望んでいる。すべての属する文書はGNU Free Documentation...
ヒルベルトIIプロジェクトは、検証され、読みやすい数学の知識への分散型のアクセスがある。それはすでに名前だが示すように、このプロジェクトは、ヒルベルト·プログラムの伝統である。はヒルベルトIIが正式な正しい形式で数学の定理や証明が含まれている無料の、世界的な数学の知識ベースになることを望んでいる。すべての属する文書はGNU Free Documentation...