Hilbert II - QEDEQ 0.04.02
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/pmii/files/QEDEQ%20main%20unstable/0.04.02/qedeq_0.04.02_win.zip/download
に関しては Hilbert II - QEDEQ
ヒルベルトのプログラムの伝統では、正式な正しい(証明検証者によってチェック可能)が、読みやすい(通常のLaTeX教科書のように)インターネット内で自由にアクセスできる数学的知識ベースを作成します。論理と集合論が始まった。
関連プログラム
-
GET_IT - Game Engine Tutorial in TCL 無料
このプロジェクトはしばらく前に閉鎖されました。 プロジェクト名を取得する場合は、電子メールで送信してください。
-
SPINA 無料
SPINAは、インビボで得られたホルモンレベルから内分泌フィードバック制御システムの定常構造パラメータを決定するためのソフトウェアである。このサイバネティックアプローチの最初のバージョンは、甲状腺のglanの機能的状態をエブアル化することができます
-
Meshgen 無料
メッシュジェンは、三角形と四角形の要素で構成される 2D FEM メッシュをインタラクティブに生成するように設計されています。
-
Vocabulary Builder for GRE SAT 無料トライアル
マンハッタンレビューは、インドで最初のモバイルアプリケーションを紹介します。GRE、SAT、TOEFL、IELTSの準備に役立つ新しい単語を学ぶことができます。また、単語に関する知識を評価し、あなたの語彙力をテストすることができます。できるだけ多くの単語を学ぶことによって、あなたの英語の語彙を強化します。あなたの携帯電話に音声ソフトウェアへのテキストを持っている場合は、あなたもそれを聞くことによって、単語の発音を学ぶことができます。意味や
-
Carrying the Word 無料トライアル
コロラド大学出版局が発行した言葉を運ぶ今日このDRMフリーの電子ブックを購入!アルディコが搭載。コンチェロスのダンサーの最初の完全な長さの研究は、そのダンスの使用は、メキシコの文化の中で独特の方法で都市ポストモダンイノベーションと農村の宗教的慣行を結び付けます。
-
Moritz 無料
モリッツは、よく知られているツールdoxygenの"addon"です。c/c++ ソースの関数とメソッドの nassi shneiderman 図を html ファイルとして生成し、ソフトウェアドクメンタイオンに含めたり、html ブラウザを使用して単純なワッハに含めたりする可能性があります。
-
Birdlogger 無料
鳥類学者や鳥ウォッチャーが目撃鳥を伐採するのを支援する鳥類伐採プログラム。 ビジュアルベーシックでは、Windows と Linux 用。英語とフランス語。
-
Bowtie 無料
ボウタイは、次世代シーケンサーからの短いDNA配列(読み取り)のための超高速でメモリ効率の高いショートリードアライナです。引用してください: ラングミード B, ら.ヒトゲノムに対する短いDNA配列の超高速かつ記憶効率の高いアライメント。ゲノムバイオル 10:R25.
-
LaserFoam 無料
LaserFoamは、適応的な分割ステップフーリエ法を用いてレーザーパルスのシミュレーションを行い、一般化された非線形シュベルンガー方程式を解きます。結果を実行および視覚化するためのグラフィカルな環境を提供します。
-
Daylight Chart 無料
デイライトチャートは、世界のあらゆる場所の魅力的なチャートで日の出と日没の時間を示しています。夏時間の効果も表示されます。チャートはイメージファイルにエクスポートできます。