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 。记住我所有的要求,这个程序被开发为重量轻和最小。现在,它伴随着由伊斯克康的创始人斯里·普拉布帕达完成的翻译工作。(它免费提供 @ vedab
-
PHiMX 免费
PHiMX 是一个命令行工具,用于在 PHP5 中生成项目的 XMI 代码。它可以递归分析多个 PHP 脚本目录,支持各种 XMI 格式,并允许集成您自己的include_path。
-
Spanish Tester Lite 免费试用
西班牙语测试人员 Pro 通过生成模拟测验问题,在西班牙语动词结合和语音部分之间的一致性上测试您。多选题和填空题测试以下 15 种动词形式的知识:+中点;现在•中点;未来•中点;不完美+中点;前点+中点;条件•中点;呈现完美•中点;未来完美・中点;完美+中点;条件完美+中点;当前子词+中点;不完美的副词+中点;呈现完美的副词•中点;完美副词+中点;势在必行+中点;负命令和
-
Mechanicus 免费
机械是玩家构造车辆之间的比赛模拟器。这个项目实际上被放弃了。
-
Analysis & Reconstruction Sound 免费
分析与重建声音引擎将声音文件分析为光谱图,并能够将此光谱图或任何其他用户创建的图像合成为声音。
-
Analyzer Component Framework 免费
ACF 是编写模型检查器。ACF是建立在基本观察之上的,即大多数模型检查算法独立于用于描述的形式主义系统。