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] [戰爭坎農塞特。秘密 - 秘密目標。蘑菇房子集。標籤:"新的超級馬里奧兄弟wi""新超級馬里奧兄弟"新超級馬里奧兄弟為d""新馬里奧為d"[法律免責聲明:新的超級馬里奧兄弟的非官方遊戲指南不是官方指南或連接到遊戲開發商或出版商。所有角色、位置
-
Baby's number school(flower) 免費試用
嬰兒的最佳應用。寶寶可以用可愛的花學習數位。我們支援 10 張花卉照片和 1~10 個數位。它説明你的寶寶發展大腦。有一個有趣的時間與這個程式!★ 免費版本下載 ★http://bit.ly/tBMGko。------------------------------------------123 嬰兒數學校 - 免費-----------------------------
-
RAPID 免費
RAPID(REBOL API DocuMentor)提供了一種從 REBOL 原始碼取得文件並發布為各種輸出格式(如 HTML、PDF、make-doc-pro 等)的方法。
-
Logic Solver (truth tables) 免費試用
此程式顯示真話表,使用您喜歡的字母輸入命題,例如:PvQ+R 或 Av=B,程式顯示真話表。此程式還透過顯示一個可能的邏輯等價清單來説明您簡化命題。