HLM Proof Assistant
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/hlm/files/Prototype/hlm.zip/download
に関しては HLM Proof Assistant
HLMは、現在開発中の日常の数学の証明アシスタントです。これは、通常の数学的実践にできるだけ近いユーザーエクスペリエンスと、ほとんど余分な努力をして人間が理解できる証明を目指しています。
関連プログラム
-
MLA Auto-Generator 無料
引用された作品や文献目録ページの正しいフォーマット(MLA、APA、シカゴ、CPE、トゥラビアン)エントリを生成します。
-
Animal Imaging 無料
"動物イメージング"は、動物の生体イメージングに関連するイメージング技術(例えばCT、MRI、PET、超音波)に関する情報を収集し、広めるプロジェクトです。
-
Wordcorr 無料
Wordcorrは、自然言語の歴史的発展を進め、音声対応を集計し、管理する面倒で危険なプロセスを自動化します。それはすべてのデータへのアクセスを常に与えます。最初のサポートはNSFからでした。
-
aMS - advanced Modeling System 無料
あらゆるタイプの擬人化システムで使用できるユーザープロファイリング/モデリングシステム。このシステムはアプリケーションに含まれていないため、多くの目的や異なるコンテキストで使用することができます。
-
X-Specs 無料
テスト駆動開発やその他のアジャイルメソッドをサポートするために、仕様として実行可能コードを使用してソフトウェア設計をサポートするライブラリとツール。
-
Action Movies 無料
あなたはクイズが好きですか?あなたは00年代のポップカルチャーが好きですか?あなたは無料のものが好きですか?!その後、これはあなたのためのアプリです.あなたのポケットの中で楽しい、無料の複数選択トリビアクイズ!あなたはグッドフェラとゴッドファーザーの違いを知っていると思いますか?あなたがジェームズ・ボンドやインディ・ジョーンズになるために必要なものを知っていると感じるなら、これはあなたのためのクイズです。ディザリングの時間が終わったので、落ち着い
-
New Super Mario Bros Guide 無料
新しいスーパーマリオブラザーズWIIガイド"非公式ウォークスルーガイドは、次の項目を含みます:ウォークスルー- 世界1 - 世界2- 世界3etcÃââ â秘密 - 秘密の目標etc..キノコハウスタグ:"新しいスーパーマリオブラザーズwii""新しいスーパーマリオブラザーズ""マリオスーパーブラザーズビデオ"ds""新しいスーパーマリオブラザーズのためのd
-
Baby's number school(flower) 無料トライアル
赤ちゃんのための最高のアプリケーション。赤ちゃんは素敵な花で番号を勉強することができます。10枚の花写真と1~10枚の数字をサポートしています。それはあなたの赤ちゃんが脳を開発するのに役立ちます。このアプリで面白い時間を持っています!★無料版ダウンロード★http://bit.ly/tBMGko------------------------------------------
-
RAPID 無料
RAPID (REBOL API DocuMentor) は、REBOL ソースコードからドキュメントを取得し、HTML、PDF、メイク・ドク・プロなどのさまざまな出力形式にパブリッシュする方法を提供します。
-
Logic Solver (truth tables) 無料トライアル
このプログラムは真実のテーブルを表示し、あなたが好む文字で命題を入力します:例えばPvQ^RまたはAv〜B、およびプログラムはあなたに真実のテーブルを示します。このプログラムは、あなたに可能性のある論理的等価性のリストを表示することによって、提案を簡素化するのにも役立ちます。