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

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

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

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 库开发。

FLINT 是一个数论库，用C语言编写，它包括一个非常快的多项式算法库。

gmpy 是一个 Python 的扩展模块，用来封装 GMP 这个高精度数学计算库，为 Python 语言提供多精度的数学计算，同时也支持 MPIR。