PolyBoRi 0.7.0
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/polybori/files/polybori/0.7.0/polybori-0.7.tar.gz/download
關於 PolyBoRi
PolyBoRi 是作為C++環的多面體庫實現的,它為布爾多語種提供了高級數據類型。python 介面生成可擴充的演演算法,用於計算 Groebner 基於布林環。
相關軟體
-
RAVL, Recognition And Vision Library. 免費
一C++庫,具有計算機視覺、模式識別等模組。
-
A Helpful Terminal Emulator 免費
"ah-tty"是命令提示和炮彈的自動幫助器。 對於新手 shell 使用者,這提供了有關他們嘗試使用或想要使用的命令的反饋和建議。
-
Virtual Body 免費
虛擬身體項目的目標是成為人體模擬器,對教育工作者和未來的醫生有用。
-
Universal Maths Conversion Library 免費
UMCL 庫向應用程式開發人員提供單個 API,需要在不同數學格式之間進行轉換,尤其是盲文特定符號。
-
Bhagavad Gita(YaBG) 免費
YaBG - 還有另一個"巴加瓦德吉塔"應用程式。這個程式可以讓你通讀整個巴加瓦德吉塔沒有任何中斷;沒有廣告,沒有痛苦的彈出視窗;完全自由,沒有侵入性。我創建了這個程式,這樣我就可以閱讀"bhagavad gita"使用我的Android手機;希望它看起來很漂亮, 易於閱讀與現代 UI 。記住我所有的要求,這個程式被開發為重量輕和最小。現在,它伴隨著由伊斯克康的創始人斯裡·普拉布帕達完成的翻譯工作。( 此人免費提供 @ ved
-
PHiMX 免費
PHiMX 是一個命令列工具,用於在 PHP5 中生成專案的 XMI 代碼。它可以遞迴分析多個 PHP 文本目錄,支援各種 XMI 格式,並允許整合您自己的include_path。
-
Spanish Tester Lite 免費試用
西班牙語測試人員 Pro 透過生成模擬測驗問題,在西班牙語動詞結合和語音部分之間的一致性上測試您。多選題和填空題測試以下 15 種動詞形式的知識:+中點;現在•中點;未來•中點;不完美+中點;前點+中點;條件•中點;呈現完美•中點;未來完美・中點;完美+中點;條件完美+中點;當前子詞+中點;不完美的副詞+中點;呈現完美的副詞•中點;完美副詞+中點;勢在必行+中點;負命令與
-
Mechanicus 免費
機械是玩家構造車輛之間的比賽模擬器。這個項目實際上被放棄了。
-
Analysis & Reconstruction Sound 免費
分析與重建聲音引擎將聲音檔分析為光譜圖,並能夠將此光譜圖或任何其他用戶創建的圖像合成為聲音。
-
Analyzer Component Framework 免費
ACF 是編寫模型檢查器。ACF是建立在基本觀察之上的,即大多數模型檢查演算法獨立於用於描述的形式主義系統。