必须有 数学软件 为 Linux

DOLFIN是一个开源C ++接口FENICS项目计算数学建模（ACMM）的自动化。它提供了一个一致的PSE（问题解决环境）解决局部的和常微分方程 什么在此版本中是新的： < LI>特点：启用稀疏MeshValueCollections的分配MeshFunctions...

DragMath是一个免费的“拖放”公式编辑器。这是一个Java小程序，可以简单地在大多数计算机上的Web浏览器上运行。该编辑器可以让用户建立数学表达式在传统的二维方法，然后输出结果的正确语法形成。这是不那么容易：数学符号包含了一些模糊之处。尽管如此，我们似乎无法摆脱传统的符号，在可预见的未来，例如见此文出于记号的一些意见。这给DragMath的设计有所了解。所提供的输出格式MATHML，乳胶，枫树，千里马。另外，也可以通过创建与在其正确的语法数据的XML文件中的表达转换为几乎任何用户定义的样式。虽然数学是...

Dstar精简版是一个用C实现的D *精简版的算法，如[凯尼格，2002]解释。也有一些小的修改，这个代码来提高计算时间和路径距离。这是一个非常简单的软件，并应采取很少的时间来了解和整合。命令：[Q / Q] - 退出[R / R] - 重新规划[A / A] - 切换自动重新计划[C / C] - 清除（重启）鼠标左键点击 - 使细胞不能游历（成本-1）鼠标中点击 - 移动目标细胞点击鼠标右键 - 移动开始小区小区颜色如下：红色 - 不能游历绿色 - 穿越，但与成本改变红/绿与小紫方 -...

dynts是一个时间序列的分析和用Python编写的一个时间序列领域特定语言。 Timeserie对象直接创建一个时间序列对象：>>>从dynts导入时间序列>>> TS =时间序列（“测试”）>>> ts.type“动物园”>>> ts.name“测试”>>> TS时间序列：动物园：测试>>> STR（TS）“测试” DSL 在图书馆的核心有专门为timeserie分析和操作域特定语言（DSL）。 DynTS使得timeserie操纵的方便和乐趣。这是一个简单的乘法：>>>进口dynts>>> E =...

本征项目是一个开源的，轻量级的C ++模板库，向量和矩阵数学又名线性代数。与大多数其他线性代数库，本征专注于应用程序，如游戏和其他应用程序的OpenGL简单的数学需要 什么在此版本中是新的： 在密集的世界：在新的参考类，允许写非模板函数采取各种样的本征密集物体没有副本。在新RealQZ分解和GeneralizedEigenSolver。添加矢量明智的规范化和标准化的功能，hasNaN /...

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

方程式绘图是一个二维隐式方程绘图。式绘图让您绘制表格F（X，Y）= G（X，Y）的公式，所有的标准运营商（对数，指数，开方，...）以及分化。 例如公式：Y = SIN（X）X = SIN（Y）（XY）^ 2 =罪（COS（X ^ 2 + Y ^ 2））Y = DERIV（实验值（-x ^ 2/2），x）的要求：·GTK + 2.4.x的版本 要求： 在GTK...

ESC / Java2的前端项目解析的Java 1.4源代码和Java 1.5字节码到抽象语法树，可以被用于扩展静态检查。扩展静态检查的Java版本2（ESC / Java2中）是一种编程工具，它试图通过程序代码的静态分析和正式的注释来查找JML标注的Java程序中常见的运行时错误。用户可以控制的数量和种类检查ESC / Java2的执行由他们的注释与程序特殊格式的注释称为编译指示。ESC /...

FENICS是一个免费的应用程序微分方程的自动化解决方案＆NBSP;我们提供的软件工具与计算网格，偏微分方程的有限元变配方，ODE求解器和线性代数工作。FENICS被组织为项目/组件的集合，其可以被分为核心组件（库和接口）和应用程序（应用为本码和求解器）。核心组件＆NBSP; * DOLFIN，一个C ++ / Python库解微分方程＆NBSP; * FErari，优化的变分形式评价＆NBSP; * FFC，编译器的有限元变形式＆NBSP; * FIAT，有限元函数空间制表＆NBSP; *即时的C /...

FLENS项目是：。跳过一个C ++接口BLAS和LAPACK。跳过极其便利的C ++接口BLAS和LAPACK。跳过一个极其高效的C ++接口，BLAS和LAPACK :.跳过没有运行时开销相比，直接调用BLAS和LAPACK。跳过没有晦涩的副作用像临时对象的内部创造。FLENS是不是：跳过BLAS和LAPACK只是一个C...