GiNaC

GiNaC是一个C ++库。它旨在允许创建将符号操作与更成熟的计算机科学领域（例如，计算密集型数字应用程序，图形界面等）嵌入在一起的集成系统。它根据GNU通用公共许可证（GPL）的条款和条件进行分发。GiNaC是GiNaC不是CAS的迭代递归首字母缩写，CAS代表计算机代数系统。

Linux版GiNaC的替代品

172

Octave是用于执行数值计算的计算机程序，该程序与MATLAB最兼容。它是GNU项目的一部分。

140

权威的技术计算系统，涵盖了机器学习和神经网络，数据科学，可视化等等。

132

Sage是根据GPL许可的免费开源数学软件系统。它将许多现有开放源代码软件包的功能组合到基于Python的通用界面中。

Maxima是一个用于处理符号和数值表达式的系统，包括微分，积分，泰勒级数，拉普拉斯变换，常微分...

wxMaxima是计算机代数系统Maxima的基于文档的界面。wxMaxima使用wxWidgets并在Windows，X11和Mac OS X上本地运行。

Maple是通用的商用计算机代数系统。用户可以使用传统的数学符号输入数学。还可以创建自定义用户界面。

公理是通用的计算机代数系统。对于研究和开发数学算法很有用。

Mathomatic是一个免费，便携式的通用计算机代数系统（CAS），可以自动求解，区分，简化，组合和比较代数方程式...

OpenAxiom，...的分支

SymbolicC ++使用C ++和面向对象的编程来开发计算机代数系统。

Cadabra是专门为解决场论中遇到的问题而设计的计算机代数系统（CAS）。

Singular是用于多项式计算的开源计算机代数系统，特别着重于可交换和不可交换代数，代数几何以及...

FriCAS是先进的计算机代数系统。它的功能范围从微积分（积分和微分）到抽象代数。