特别是对于工程专业的学生和学者设计，卡诺图分析仪是一款商业软件可以简化卡诺图和布尔表达式。实际上，它可以被证明是一个方便的工具，任何人谁的作品与布尔表达式，为他们提供强大的功能，最大限度地减少复杂的地图。卡诺图分析仪在Ubuntu 10.10和Ubuntu 12.04 LTS测试 特点： 在最小化的布尔表达式在转换布尔表达式为SOP，POS和十进制形式在支持真值表和套计算在突出最小期限在简化布尔公式与异或门的优化在支持多个逻辑运算符在自定义的操作符号，地图定位，变量名，表达格式。 要求： ...
Hilbert II 0.04.06
希尔伯特II项目是分散的访问验证和可读性的数学知识。因为它的名字已经表明，这个项目是在希尔伯特计划的传统。 希尔伯特II要成为一个自由，世界各地的数学知识，包含数学定理和证明在正式的正确形式基地。属于所有文件都在GNU自由文档许可证出版。 我们的目标是共同的数学论证适应正式语法。这意味着，只要在数学某种论证经常使用，我们将期待它融入希尔伯特II的正式语言。这种形式语言被称为qedeq格式。...
DanCalculator 0.3
DanCalculator是用Java编写的一个开源的计算器软件，允许用户做基本的数学运算，如师，乘法，加法和减法。。用Java编写的，DanCalculator是一个跨平台的工具，旨在在Linux，Mac OS＆NBSP完美运行; X＆NBSP;和Windows操作系统 要求： < p> 在Java...
Gauss-Jordan elimination 3 Beta
高斯＆ndash的;乔丹是消除设计，让精明的用户可以毫不费力地反转矩阵，采用了高铭大街的开源软件; -Jordan消除。高斯＆ndash的;约旦消去显示的溶液和计算，并支持矩阵高达10×10的尺寸。这是一个跨平台的应用程序，旨在在Linux，Mac OS＆NBSP运行;...
常微分方程RubySode系统（Sode.rb）是一个Ruby程序来生成一个Ruby程序来解决单个（或制度），常微分方程（S）。长泰勒级数法，通过YF教授首创长安，谁在20世纪70年代末的时候我还是个研究生有任教于内布拉斯加大学，被使用。泰勒级数项数可以在这个问题文件中指定，但它通常是30 什么在此版本中是新的： 结果现在总结在table.html，它具有链接到指定的问题的文件，则程序生成，并运行的程序的结果。在一个新的程序现在可以检测操作系统（以及询问是否可以不告诉），并要求使用（C，C...
