Symja 是一个纯 Java 的代数计算工具，基于 MathEclipse 项目。

Maxima是一种用Common Lisp开发的计算机代数系统（或符号计算系统），用于公式推导、符号计算、数值计算等。

FFTW 是一个C语言的快速傅立叶变换库。 它包括复杂的，真实，对称的，多层面的，和并行转换，并且可以处理任意大小的efficiently.It阵列通常比其他免费提供的FFT实现更快，更与供应商的调整库（基准可在网页查阅）

Theano 是一个 Python 库，用来定义、优化和模拟数学表达式计算，用于高效的解决多维数组的计算问题。

levmar是一个强大的和高效率的C/C++的实施采用Levenberg - 马奎德（LM）优化算法。

Hypre是一个高性能的预处理器的功能并行多重网格方法为结构化和非结构化网格问题库。它是一个项目，旨在开发可扩展的算法和软件，为解决大，稀疏线性方程组并行计算机的一部分。

类似Matlab、Octave、Scilab的数值计算系统。 EULER is a program for quickly and interactively computing with real and

JDMP (Java Data Mining Package) Java数据挖掘工具包是一个借助机器学习算法（比如聚类分析、图形建模、神经网络、贝叶斯网络、文本处理和最优化等）进行数据分析的类库.

jtranslib是一个java离散变换库. 包括: ` double[]` `**dct** (double[] x)` 一维数组的dct变换

Relational 是一个接口，用来从文件中加载关系，编写代数查询，并查看结果。该软件主要用于教学目的，可用来检测一个代数查询是否正确。

Canola 是佳能 Canola 1614P 可编程桌面计算器的仿真器。该计算器是佳能在 1971 年的产品。

JBeam 是一个 Java 的应用程序，用于分析二维的静态和动态结构性数据，它支持任意铰链的欧拉 - 伯努利和Thimoshenko梁和桁架元素。

The General Algebraic Modeling System (GAMS)是一款数学规划和优化的高级建模系统。 通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问题特别有帮助.GAMS可

PerlDL 项目旨在为 Perl 语言提供高效的科学计算用的数值计算语言，可用于快速操作和存储非常大的 N 维数据集。

ojAlgo 是一个开源的Java类库，用于解决一些常用的数学问题以及线性代数和最优化问题, 此外还提供了一些金融计算模型,

MOEA Framework 是一个用来开发 multiobjective evolutionary 算法(MOEAs) 的 Java 类库，提供的算法还包括： NSGA-II, ε-MOEA, GDE3, and MOEA/D.

NLinear 是 .NET 平台的一个通用的线性代数工具包。它的设计工作与任何数字类型，包括float和double。

软件以GPLv3发布，是一个flash制作的公式编辑器，可以架设到论坛或者博客上，方便用户发表公式，详细使用方法见README

Zero是一个功能丰富的C++数值计算核心库,不仅可取代clapack或者cblas, 还具备求根,拟合,插值,积分,随机数,统计,全局和局部的约束以及无约束优化,常微分方程求解等多项功能。

UJMP (Universal Java Matrix Package) 统一Java矩阵工具包是一个提供各种矩阵运算的Java类库。这个工具包提供了诸如稀疏矩阵和稠密矩阵的实现，以及矩阵的分解、求逆、加法、乘法，均值，方差和相关系数等运算功能