Java 的代数系统（的JAS ）是一个面向对象，类型安全的，多线程的方法，计算机代数。JAS 提供了一个精心设计的软件库，使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...

UDAV 是一个基于 MathGL库的跨平台的数据阵列可视化工具。它支持广泛的图形，简单的脚本语言，可视化数据处理和编辑。它有一个窗口界面，数据查 看，更改和策划。它可以执行MGL脚本，建立和旋转...

TooN 是一个 C++ 数学计算库，其目的是有效运作的大量小型矩阵，并提供方便一些算法包括矩阵分解和优化。 TooN 库是一组 C ++ 14头文件，它们提供基本的数字功能： 矢量，矩阵和等 矩阵分解 功...

Qalculate! 是一个多功能的跨平台桌面计算器。它可以满足日常如货币转换和百分比计算等需求，易于使用却也可以为复杂的数学包提供各种功能。 特点如下： 可定制功能的大型库 单元计算和转...

GiNaC（GiNaC 不是一个 CAS 计算机代数系统））是一个用于符号计算的C++库。它的设计允许集成系统创造，象征性的操作嵌入与更成熟的计算机科学（如计算密集型，图形界面等），数字应用领域。相...

Math.NET的目标是为提供一款自身包含清晰框架的符号运算和数学运算/科学运算，它是C#开发的开源类库。Math.NET含了一个支持线性代数的解析器，分析复杂微分，解方程等等功能。

Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标...

jblas是一个快速的Java线性代数库。它是基于BLAS与LAPACK，上月矩阵计算实际的行业标准，并使用先进的基础设施等所有的计算程序的ATLAS艺术的实现，使其非常快。它实质上是围绕BLAS与LAPACK例程...

SymPy是一个象征性的操作方案，纯Python写的。其目的是要成为一个全功能的Python代数计算库，同时保持为代码尽可能简单，以便理解和容易扩展。目前，Sympy目前只有1600的代码（包括注释行），其...

OpenMath，这是一种针对数学对象的表示和交流的标准。

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

MathEclipse 是一个Java 计算机代数系统