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 计算机代数系统

F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言，是函数编程语言（FP，Functional Programming），函数编程语言最重要的基础是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML...

graphingcalculator是一个开源，跨平台的桌面图形计算器。功能与TI-83相似。

Gnu MP 是一个任意精度的数学计算库。 operating on signed integers, rational numbers, and floating point numbers. There is no limit to the precision, except for the ones implied by a...

MPIR 是一个开源的多精度的整数和有理数计算库，基于 GMP 库开发。