GraphThing

GraphThing 1.3.2

GraphThingでは、グラフを作成、操作、および研究することができるツールです。これらの「グラフ」は、セット間の関係を記述数学オブジェクト(グラフ理論に、この紹介をご覧)です。彼らは、2Dプロット、図表、またはそれに類似するものではありません。右の画像はあなたに何も意味しない場合は、間違った場所で、おそらくです。 それは限り、あなたも他の人にこれらの自由を与えるように、それはあなたに何の費用がかかりませんが、あなたもそれを再配布するか、しかし、あなたがそれをしてください修正する自由があるだけではないこと...

Hilbert II

Hilbert II 0.04.06

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

Hypre

Hypre 2.0.0 / 2.8.0 Beta

スケーラブルな線形ソルバプロジェクトのHypreの目標は、並列計算機上の方程式の大規模な、スパース線形システムを解くためのスケーラブルなアルゴリズムおよびソフトウェアを開発することです。主なソフトウェア製品はhypre、構造化および非構造化の両方のグリッド問題の並列マルチグリッドの方法を特徴とする高性能予備調整のライブラリです。関心のある問題は、防衛、環境、エネルギー、生物科学で物理現象を研究するLLNLで、他の場所に開発されたシミュレーションコードで発生します。並列処理は、これらの問題の数値解法のために必...

エイダのための区間演算はエイダのための間隔の実装を提供し、数学ライブラリです。それは、算術演算および関係演算が含まれています。例:トライステート·ロジックパッケージ間隔は、ルートパッケージとして機能し、また間隔に関係演算を定義する必要がトライ·ステート·ロジックを提供します。論理型は、次のように定義されます 論理型である(偽、真、不確実な); 以下の操作は、論理のために定義されています: 機能 "ではない」(左:論理)は、論理返します。 機能 "と"(左、右:論理)論理返します。    機能...