GiNaC

GiNaC

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

网站:

分类目录

具有商业许可证的Mac版GiNaC的替代方案

Mathematica

Mathematica

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

Maple

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