トップ 数学ソフトウェア のために Linux

Schifraは、ソフトウェアおよびIPコアベースのアプリケーションの実装とC...

コマンドライン電卓「CLC」は、Linuxコンソールで直接計算できる電卓です。あなたはあなたがそれを必要なときにアクセスできるようにするには、ルートまたはequvalentアカウントでログインする必要があるかもしれませんの/ usr / binにCLCCファイルを抽出します。それからちょうどCLCC 67​​ + 89を書き、答えはあなたに直接表示されます。 CLCCは、例外なく、左から右に計算されます。...

ビジュアルチューリングマシンプロジェクトは、難解な言語を使用するのではなく、インターフェイスをポイントとチューリングマシンを作成し、クリックすることができますプログラムです。あなたは小さな箱にあなたの複雑な機械を梱包し、次に大きな機械の一部としてそれらを再利用することができます。...

K3DSurfは数式（パラメータまたは明示的な方程式）と3Dサーフェスを生成するプログラムです。すべてのあなたのコメントは歓迎されているので、より高度なバージョンが建設中です。...

CalcooはRPNと代数関数電卓です。ここで、「Calcoo」のある主要な機能は次のとおりです。...

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

のGNU...

【ケーニッヒ、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 /...

グラファは（フォームF（X、Y）=...