Proof Substitute for the Humdrum Toolkit
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/kern-proof/files/census0.3.1.jar/download
に関しては Proof Substitute for the Humdrum Toolkit
Javaのハムドラムツールキットからの証明コマンドの再実装
関連プログラム
-
The Tab Completion Grade Book 無料
教師の成績表を管理するためのJavaプログラム。 加重成績、任意にネストされた課題、複数のコース、複数の学生、他の学生に関する機密情報を明らかにしない学生一人一人のビュー、およびXMLファイルストレージをサポートします。
-
BioSap 無料
バイオサップブラスト統合オリゴヌクレオチド選択促進パッケージ。BioSapは、ユーザー定義のパラメータを検出し、コンピュートエンジンでフィーチャーアマとブラストの並列インスタンスを実行し、xml出力ファイルを生成することで、マイクロアレイ用のユニークなオリゴを選択します。
-
EnotifWiki 無料
EnotifWikiはウィキペディアのMediaWikiエンジンに電子メール通知を追加します:ページが変更または作成されると、電子メール("enotif")が自動的に見ているユーザーに送信されます。差分ビューへのクイック リンク、最後に表示されたバージョンへのリンク。FCKエディタ(WYSIWYG)が含まれています。
-
Gtk+/CLI IDP Interface 無料
このプロジェクトでは、IDP辞書で使用するソフトウェアを提供Linuxと他のユニス。このプロジェクトでは、辞書を再配布しませんが、95%無料ですので、http://www.june29.com/IDP/からダウンロードできます
-
MODELbuilder 無料
MODELbuilderは、経験的およびシミュレーションデータから様々なモデルを導出するグラフィカルな方法を提供するアプリケーションです。
-
SPAS 無料
SPAS(構造特性解析ソフトウェア)は、定量的構造特性関係(QSPR)ソフトウェアです。
-
CHALICE 無料
リンク、コンテキスト、エンティティを使用して履歴権限を接続する。CHALICEは英国の歴史的な地名官報であり、リンクデータとして公開され、セマンティックウェブ上の地名参照情報の他の広く使用されている情報源にリンクされています。
-
Finite Element LibrarY eXperiment 無料
FELYX は、C++ で記述されたオブジェクト指向 FE/FEM コードです。構造解析、帯域幅の削減、高速スカイラインソルバー、一部の反復ソルバー、および商用 FEA パッケージ ANSYS へのインターフェイスに最も一般的な要素を提供します。
-
Java Linear Algebra Library 無料
JLAL は Java 用の線形代数パッケージであり、オブジェクト指向の API を使いやすいものです。ライブラリは、算術演算、反転、さまざまな行列分解、線形方程式の解、および多くをサポートしています。
-
EZMWeb 無料
EZMWebはオープンソースのウェブベースのバイオ情報統合および検索システムです。 ユーザーは、統合酵素情報を検索することができます。それは異なる酵素間の相関関係の分析を実装し、Javaアプレットを介してその視覚化された結果を与える。