:pari
PARI 团队 (http://pari.math.u-bordeaux1.fr/AUTHORS)
http://pari.math.u-bordeaux1.fr/
PARI/GP 是一个范围广泛的形式计算系统, 设计用于快速算术计算 (因子分解, 数的代数理论, 椭圆曲线...), 有大量函数用于矩阵计算, 有限展开, 代数数等, 也有许多超越函数. 
:maxima

http://maxima.sourceforge.net/
Maxima 是处理符号及数值表达式的系统, 包含微分, 积分, Taylor级数, Laplace变换, 常微分方程, 线性方程组, 多项式, 集合, 列表, 向量, 矩阵及张量. Maxima 通过使用精确分数, 任意精度整数以及变精度浮点数的方法可以得到高精度的数值结果.
:graphviz
创作团队 (http://www.graphviz.org/Credits.php)
http://www.graphviz.org/
图的视觉化(graphviz)可用来显示抽象图及网络的结构信息. 可用于软件工程, 数据库及网络设计, 许多领域的视觉界面等.
可通过脚本库 graph/graphviz, draw/graphviz 以及 draw/graphvizpoints 来使用

:gap
GAP 团队 (http://www.gap-system.org/Contacts/People/people.html)
http://www.gap-system.org/
GAP 是离散代数的计算系统, 特别注重计算群论. GAP 提供一种程序语言, 几千个以 GAP 语言写成的由代数算法移植的函数, 以及巨大的代数对象数据库. GAP 可用于群及其表示, 环, 向量空间, 代数, 组合结构等的科研与教学.
:float_calc,integer_calc

http://www.gnu.org/software/bc/
interface to bc ; bc -l

:yacas
创作团队 (http://yacas.sourceforge.net/credits.html)
http://yacas.sourceforge.net/homepage.html
YACAS 是易于使用的计算代数系统, 用于数学表达式的符号操作. 它使用针对符号及任意精度的数值计算的自有语言. 系统有一个移植了许多符号代数算法的脚本库, 还可以添加新的算法到库中. YACAS 自带的文件涵盖了所使用的脚本语言, 函数以及算法.

:jmol

:geogebra