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
在Hilbert的程序的传统,我们创建一个正式的正确(可由校对验证器检查),但可读(如普通LaTeX教科书)的数学知识库,这是在互联网上免费访问的。逻辑和集理论开始了。
相关软件
-
GET_IT - Game Engine Tutorial in TCL 免费
这个项目前段时间就关闭了。 如果你想拿项目名称,只要给我发电子邮件。
-
SPINA 免费
SPINA是软件,用于确定体内获得的激素水平中分泌反馈控制系统的恒定结构参数。这种网络方法的第一个版本允许验证甲状腺的腺体功能状态
-
Meshgen 免费
Meshgen 旨在以交互方式生成由三角形和四边形元素组成的 2D FEM 网格。
-
Vocabulary Builder for GRE SAT 免费试用
《曼哈顿评论》介绍了印度第一个移动应用程序。你可以学习新的单词,这将有助于你准备GRE,SAT,托福和雅思。您还可以评估你的单词知识,并测试你的词汇技能。通过学习尽可能多的单词来增强你的英语词汇。如果你的手机上有语音软件,那么你甚至可以通过听它来学习单词的发音。您也可以了解其含义和用法。这个程序由桑特拉技术咨询公司开发,海得拉巴,印度。访问http://www.santhra.com/关键 字:词汇生成器, 词汇, 英语词
-
Carrying the Word 免费试用
携带这个词,由科罗拉多大学出版社出版立即购买此无 DRM 电子书!由阿尔迪科提供动力。第一次对康切罗斯舞蹈家进行全长研究,他们运用舞蹈将农村宗教实践与城市后现代创新联系在一起,在墨西哥文化中具有独特的方式。
-
Moritz 免费
莫里茨是众所周知的工具多西根的"加法"。它生成 c/c++ 源中的函数和方法的 nassi shneiderman 图作为 html 文件,可以包含在软件文档中,或者使用 html 浏览器进行简单处理。
-
Birdlogger 免费
一种鸟类记录计划,帮助鸟类学家和观鸟者记录目击鸟类。 在可视化基础知识中,用于 Windows 和 Linux。英语和法语。
-
Bowtie 免费
Bowtie 是一款超快、内存高效的短读对齐器,用于从下一代测序器中短DNA序列(读取)。请引用:朗米德B等人。短DNA序列与人类基因组的超快和记忆效率校准。基因组生物 10:R25.
-
LaserFoam 免费
LaserFoam 使用自适应分波步四维方法对激光脉冲进行仿真,以求解通用非线性施丁格方程。它提供了一个图形环境来运行和可视化结果。
-
Daylight Chart 免费
日光图表以有吸引力的图表显示世界上任何位置的日出和日落时间。夏令时的效果也会显示。图表可以导出到图像文件。