最好的 数学软件 为 Linux

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

分形Fr0st是用Python编写/ pygame的一个应用程序，让用户可以直观，因为它呈现的11参见迭代系统＆NBSP的结果;这是它的一个非常早期的版本，有很多计划的funcionality失踪。唯一控制迄今被移动鼠标来改变活性的位置变换和左右键来转换之间切换。很难在非技术术语来解释，只是尝试一下。如果你知道如何使用隆起，就可以让自己的火焰被冰冻所呈现的 什么在此版本中是新的： ...

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

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

并行三维快速傅立叶变换，被称为P3DFFT，是在广泛的学科，如物理，气候学，化学计算运算库。该项目在SDSC开发梅德Pekurovsky作为战略协作应用程序（SAC）项目产品 特点： 并行实现二维数据的分解，克服了一个重要的限制了其他3D FFT库的可扩展性实现1D或平板，分解。在优化并行通信和单CPU的性能。在建的精心优化，灵活的一维FFT库之上。 什么在此版本中是新的： 在这个版本增加了各类错误修正和改进 什么在2.4版本的新： ...

Stacniac是RPN计算器程序。您可以下载并免费使用它（但捐赠欣然接受 - 点击下面的按钮）。您可以链接到这个网页。请不要再分发Stacniac;请不要反编译或修改。Stacniac是“有点奇怪”，因为它不具备按钮：您输入数字，然后键入命令。很显然，大多数人喜欢代数计算器和喜欢点击的按钮，所以我不认为Stacniac将会有广泛的吸引力;不过，我喜欢RPN，喜欢跑从键盘的计算器。Stacniac有一个相当大的集合这是由输入短（但希望很明显）字样调用命令。...