顶部 数学软件 为 Linux

libagf（自适应高斯滤波）是一个简单而强大的实施可变带宽核估计进行分类，PDF估计和插值。该库采用了多项创新，产生了世界上最快，最准确的监督分类算法之一。这些措施包括：...

特别是对于工程专业的学生和学者设计，卡诺图分析仪是一款商业软件可以简化卡诺图和布尔表达式。实际上，它可以被证明是一个方便的工具，任何人谁的作品与布尔表达式，为他们提供强大的功能，最大限度地减少复杂的地图。卡诺图分析仪在Ubuntu 10.10和Ubuntu 12.04 LTS测试 特点： 在最小化的布尔表达式在转换布尔表达式为SOP，POS和十进制形式在支持真值表和套计算在突出最小期限在简化布尔公式与异或门的优化在支持多个逻辑运算符在自定义的操作符号，地图定位，变量名，表达格式。 要求： ...

TRIP是一个致力于天体力学通用计算机代数系统。行程包括数字内核和具有接口GNUPLOT和xmgrace显示。计算可以与双，四，或多精度来执行。用户可以动态加载写在C，C​​ ++或Fortran外部库 什么在此版本中是新的： 在TRIP现在支持多达1024个核心（而不是255）的计算机。在可扩展性已经在大型​​NUMA电脑提高。在该SCSCP服务器现在支持该协议SCSCP的1.2版本。该函数integnum可能返回结果作为数值矢量阵列。在一些错误已得到修复。 什么在1.2.0版本新： ...

希尔伯特II项目是分散的访问验证和可读性的数学知识。因为它的名字已经表明，这个项目是在希尔伯特计划的传统。 希尔伯特II要成为一个自由，世界各地的数学​​知识，包含数学定理和证明在正式的正确形式基地。属于所有文件都在GNU自由文档许可证出版。 我们的目标是共同的数学论证适应正式语法。这意味着，只要在数学某种论证经常使用，我们将期待它融入希尔伯特II的正式语言。这种形式语言被称为qedeq格式。...

DanCalculator是用Java编写的一个开源的计算器软件，允许用户做基本的数学运算，如师，乘法，加法和减法。。用Java编写的，DanCalculator是一个跨平台的工具，旨在在Linux，Mac OS＆NBSP完美运行; X＆NBSP;和Windows操作系统 要求： < p> 在Java...

高斯＆ndash的;乔丹是消除设计，让精明的用户可以毫不费力地反转矩阵，采用了高铭大街的开源软件; -Jordan消除。高斯＆ndash的;约旦消去显示的溶液和计算，并支持矩阵高达10×10的尺寸。这是一个跨平台的应用程序，旨在在Linux，Mac OS＆NBSP运行;...

BoolStuff是可以支持一些操作上的布尔表达式二叉树的C语言库。一个命令名为booldnf调用这个库的表达式转换，还提供了DNF 特点： 在一个简单的布尔表达式解析器（支持运营商AND，OR和NOT，以及括号内）; 在一个算法来转换一个布尔表达式二叉树到其析取范式（这种算法支持NOT运算符）; 在一个函数，确定一个表达式树在DNF。 什么是新的本新闻稿中： ...

常微分方程RubySode系统（Sode.rb）是一个Ruby程序来生成一个Ruby程序来解决单个（或制度），常微分方程（S）。长泰勒级数法，通过YF教授首创长安，谁在20世纪70年代末的时候我还是个研究生有任教于内布拉斯加大学，被使用。泰勒级数项数可以在这个问题文件中指定，但它通常是30 什么在此版本中是新的： 结果现在总结在table.html，它具有链接到指定的问题的文件，则程序生成，​​并运行的程序的结果。在一个新的程序现在可以检测操作系统（以及询问是否可以不告诉），并要求使用（C，C...

JKuadrat是用Java编写的一个免费的图形软件，可用于计算的determinan和平方根公式。为了使用JKuadrat，你应该http://www.slideshare.net/trisaptoadji/my-javanote03阅读它的教程。用Java编写的，JKuadrat是支持在Linux，Mac OS＆NBSP独立于平台的应用; X＆NBSP;和Windows操作系统 要求： < ul> 在Java...

EqualX是一个应用程序，让你轻松编写方程乳胶和预览他们的实时。项目的目标是： - 帮助用户写入更容易方程乳胶和预览他们的实时： - 符号完成 - 包含必要的符号GUI工具 - 自定义生成的方程（前景色，背景色，字体大小，字体，阴影等） - 生成公式可以拖放在其他应用程序 - 以不同的格式导出/导入生成的方程（PNG，GIF，JPG，PDF，PS，SVG，MathML可等） - 标签生成的方程，并自动保存在库中。 （sqlite3的） - 从库搜索标记方程 - 编辑模板的序言 什么是此版本中的新： ...