MuPAD是一个商用计算机代数系统。最初由德国帕德博恩大学Benno Fuchsteiner教授的MuPAD研究小组开发而成，1997年以来，其开发由该研究小组与德国SciFace Software有限公司共同承担。2008年9月，SciFace公司被The MathWorks公司收购，从此MuPAD作为符号数学工具箱被包含在MATLAB当中。
Mathomatic是一个自由软件，便携式，通用计算机代数系统 和计算器软件，可以符号式的解答、化简、结合并比较代数方程，执行复数和多项式的计算，等等。它也可以做符号化的微积分并且能操作所有的基本代数。三角函数可以被输入并使用欧拉公式处理。诸如f 和log，测绘，多倍长整数，以及矩阵等功能尚未被引入。Mathomatic不允许超长的表示式进行计算，因为这会耗费大量时间及内存。
GNU多重精度运算库是一个开源的任意精度运算库，支持正负数的整数、有理数、浮点数。它没有任何精度限制，只受限于可用内存。GMP有很多函数，它们都有一个规则的接口。它是C语言写成的，但用为其他很多语言做包装，包括Ada，C++，C♯，OCaml，Perl，PHP，Python 和 R。GMP主要运用于加密应用和研究、互联网安全应用、计算机代数系统和计算代数研究。GMP的目标是成为最快的大数运算库，GMP是GNU项目的一部分，它在GNU宽通用公共许可证下发表。GMP在许多计算机辅助代数系统中用于整数运算，如Mathematica和Maple。GMP需要使用GCC编译。
HP Prime是一款由HP公司在2013年发布的带有计算机代数系统的图形计算器，该机型是目前惠普图形计算器对比中的旗舰机型，其有一系列类似于智能手机的功能，例如触摸屏以及允许安装应用程序HP Prime的CAS系统是一个独立的模式，用户可以自由选择是否启用。CAS系统基于一个由Bernard Parisse开发的开源平台Xcas/Giac 1.1.2，此计算器拥有1500毫安时的可充电锂电池，大约可提供15小时的续航时间。
GiNaC是一个自由软件的计算机代数系统，在 GNU通用公共许可证下发布。GiNaC这个名字是一个递归缩写：GiNaC is Not a CAS。这样的命名方式源于GNU。
Yacas是一个计算机代数系统。它的全名为Yet Another Computer Algebra System。Yacas是自由软件，它的版权声明为GNU General Public License。
SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。
Maxima 是一种用LISP 编写的计算机代数系统，用于公式推导和符号计算，它是一套自由软件，在GNU通用公共许可证下发行。它由麻省理工学院在美国能源部的支持下于60年代末创造的 Macsyma 演变而来。Macsyma 后来慢慢走上商业化的道路。1982年开始 Bill Schelter 教授默默地维护 Macsyma 代码，他把这个软件称为 Maxima。由于版权问题，Maxima 在很长的一段时间内不能公开发行，有少数人能使用这个软件。在 Schelter 教授努力了16年之后，Maxima 于1998年获得许可，成为开源软件，使得更多的用户和程序员能自由的使用 Maxima。
Maxima 是一种用LISP 编写的计算机代数系统，用于公式推导和符号计算，它是一套自由软件，在GNU通用公共许可证下发行。它由麻省理工学院在美国能源部的支持下于60年代末创造的 Macsyma 演变而来。Macsyma 后来慢慢走上商业化的道路。1982年开始 Bill Schelter 教授默默地维护 Macsyma 代码，他把这个软件称为 Maxima。由于版权问题，Maxima 在很长的一段时间内不能公开发行，有少数人能使用这个软件。在 Schelter 教授努力了16年之后，Maxima 于1998年获得许可，成为开源软件，使得更多的用户和程序员能自由的使用 Maxima。
以下表格给出各计算机代数系统的比较。
Mini wiki
