ソフトウェアダウンロードマップ

主な機能のサポートです。いくつかのエラー関連 java スクリプトの設定を GUI で固定

このソフトウェアは、スパース座標やレイアウト グリッド （測地基準系または地心の参照システムで提供される) の球面調和関数モデルの合成を計算します。Openmp ディレクティブを使用して基本的な並列処理を悪用しています。MPI とソリューションがない考慮するそれはそう簡単に manageble をすることはできませんので最終的なユーザー。

救済アクション ・ リクエスト ・ システムへの統合用 PHP 拡張。最初のリリースは、読み取りとデータの操作に集中されます。それ以降のバージョンは arapi アプリケーション構造機能へのアクセスを与えます。

冗談は構成可能なグラフィカルな形式的な証拠計算機です。それは、ロジックを定義する、彼らの証拠、および大いに多くのユーザーの表示方法を決定することが可能です。シークエント計算と自然な控除、として機能的なプログラミングの理論と操作的意味論の理論のバリエーションを持つ作品します。Mac、Unix、Windows。