Hilbert II

Hilbert II 0.04.06

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

常微分方程式RubySode(Sode.rb)のシステムは、単一の(またはのシステム)常微分​​方程式(s)を解決するためのRubyプログラムを生成するためのRubyのプログラムです。教授YFによって開拓長いテイラー級数法、私はそこの大学院生だった1970年代後半のでネブラスカ大学で教えたチャンは、使用されている。それは通常30ですが、テイラー級数の項の数は、問題のファイルで指定することができます。 のこのリリースのの新機能:ます。 ...

EqualX

EqualX 0.6.0 Beta

EqualXはあなたが簡単にLaTeXで数式を書いて、リアルタイムでそれらをプレビューするアプリケーションです。プロジェクトの目標は、次のとおりです。 - ヘルプユーザーの書き込みは、より簡単にLaTeXの中で方程式とリアルタイムでそれらをプレビュー: - シンボル完了 - 必要なシンボルを含むGUIツール - 生成された式(前景、背景、フォントサイズ、フォント、顔、影など)をカスタマイズする - 生成された方程式は他のアプリにドラッグ&ドロップすることができます -...

P3DFFT吹き替え三次元高速フーリエ変換を、パラレル、そのような物理学、気候学、化学などの科学の広い範囲で計算コンピューティングのためのライブラリです。このプロジェクトは、戦略的アプリケーションのコラボレーション(SAC)プロジェクトの製品としてドミトリーPekurovskyによってSDSCで開発された の特長の:ます。 2Dデータ分解、1D、またはスラブ、分解を実装する他の3D...

Stacniac

Stacniac 1.0

StacniacはRPN電卓プログラムです。あなたがダウンロードして自由のためにそれを使用する( - 下のボタンをクリックしますが、寄付は感謝して受け入れられている)ことがあります。このページにリンクすることができます。...