L2P

L2P 1.1.1

L2Pは乳液でフォーマット数式のPNG画像を作成します。それは全体のLaTeX文書を変換することができますが、それは簡単にLaTeXコードの断片だけから画像を生成するように設計されています。L2Pここでダウンロードするか、ドキュメントを参照してください。...

【ケーニッヒ、2002]で説明したように DSTAR LiteはD * LiteのアルゴリズムのCの実装です。計算時間と経路距離を向上させるために、このコードにいくつかのマイナーな変更があります。これは、ソフトウェアの非常にシンプルな作品ですし、理解し、統合するために非常に少しの時間を取る必要があります。コマンド:[Q / Q] - 終了[R / R] - 再計画[A / A] - トグル自動再計画[C / C] - クリア(再起動)マウスの左クリック -...

ESC / Java2のフロントエンドプロジェクトには、Java 1.4のソースコードと拡張静的チェックのために使用することができる抽象構文木へのJava 1.5のバイトコードを解析します。Javaバージョン2の拡張静的チェッカー(ESC / Java2の)は、プログラムコードの静的解析とその正式な注釈によってJML-注釈付きJavaプログラムで一般的な実行時エラーを発見しようとするプログラミングツールです。ユーザーは、ESC /...

MESH

MESH 1.13

MESHは、2つの別個の表面(三角メッシュ)との間の歪みを測定するツールです。プロジェクトでは、最大値を計算与えられた二つの表面の間の誤差を意味し、二乗平均平方根するハウスドルフ距離を使用しています。数字を提供するだけでなく、メッシュは、表面自体のエラー値を表示することができます。MESHのソースコードはGNU General Public...

FreeMat

FreeMat 3.6

FreeMatは、急速な技術や科学プロトタイピングおよびデータ処理のためのない環境です。 FreeMatプロジェクトは、このような研究システムからMathworks社のMATLABおよびIDLなどの商用システムに似ていますが、オープンソースです。FreeMatは、外部C / C ++ /...