必须有 数学软件 为 Linux

Gplib ++的程序和C ++类来分析和模型地球物理资料库。Gplib ++是一些将成为该库的部分代码的第一印象。文档还是很稀疏，任何帮助表示赞赏。否则原谅我希望可以尽快提供第一记录的正确版本。Moorkamp，M.，AG琼斯和DW伊顿（2007年）中，使用遗传算法远震接收函数和电磁资料联合反演：关于遗传算法联合反演代码的一些信息可以发现是地震波速和电导率兼容？，地球物理。水库。 。快报，34，L16311，DOI：10.1029 / 2007GL030519。要求：·ANTLR 2.7.1·ATLAS...

图示是一个研究项目，attemts解决作图隐式的问题（即形式F（X，Y）=...

GraphThing是一个工具，允许你创建，操纵和学习曲线。这些“图”是数学对象（看这个介绍图论），描述集之间的关系;他们不是2D绘图，图表或任何类似。如果右侧的图像没什么意思的话，你很可能在错误的地方。 这意味着，它不仅花你一分钱，但你也可以自由地再分发或修改但它请你，只要你也给这些自由给他人。作为一个例子，该CityBuilder项目采取GraphThing的特定版本，并且修改了它自己的需要。他们已经发布的源代码在GNU...

GRPN是一个图形化的逆波兰式（RPN）计算器。它是用C语言编写，并使用GIMP工具包（GTK）在X11上面。 GRPN是在Linux下开发的，但也已经在SunOS和Solaris下测试。它是用C语言编写，并使用GIMP工具包（GTK）在X11上面。GRPN可与实数和复数。号码可以显示在4种不同的基数的模式，和复数可以显示在任一笛卡尔或极坐标形式。GRPN使用堆栈和逆波兰式来计算表达式。叠GRPN是无限的，仅受可用内存的限制。GRPN支持以下功能：·一般数学函数：+ - * /...

GtkMathView是一个C ++渲染引擎的MathML文档。...

HartMath是用Java编写的一个实验性的计算机代数程序。它具有很大的数字运算，符号和数字评估，图中绘制出，polynomial-，向量和矩阵函数。...

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

可扩展线性解算器项目Hypre的目标是开发可扩展的算法和软件解决并行计算机上方程的大型，稀疏线性系统。主要的软件产品是hypre，高性能预处理器库，具有并行多重网格方法，结构化和非结构化网格的问题。感兴趣的问题出现在模拟规范正在开发的LLNL和其他地方来研究物理现象在国防，环保，能源和生物科学。虽然并行处理是必要的，这些问题的数值解，单独它是不够的。可伸缩的数值算法也是必需的。通过“可扩展的”，我们通常是指有效地使用附加的计算资源，以解决越来越大的问题的能力。许多因素促成可扩展性，包括并行计算机的体系结构和...

间隔算术艾达是一个数学库，提供间隔的Ada的实现。它包括算术和关系运算。例如：三态逻辑包间隔用作根包，并提供必要的间隔定义关系操作的三态逻辑。类型的逻辑被定义为： 类型逻辑是（假，真，不确定）; 下面的操作定义逻辑： 功能“不”（左：逻辑）返回逻辑; 功能“和”（左，右：逻辑）返回逻辑;    功能“和”（左：逻辑;右：布尔）       返回逻辑;    功能“和”（左：布尔;右：逻辑）       返回逻辑; 函数“或”（左，右：逻辑）返回逻辑;    函数“或”（左：逻辑;右：布尔）       返回...

Java的代数系统（或JAS的简称）是一个开源的，免费分发的，面向对象，多线程，并支持systems.Implemented...