GiNaC是一个自由的计算机代数系统，在GNU通用公共许可证下发布。GiNaC这个名字是一个递归缩写："GiNaC is Not a CAS"（CAS，计算机代数系统）。这样的命名方式源于GNU计划。GiNaC与其他计算机代数系统不同的是，它并没有提供一个上层的用户互动界面，而是鼓励用户直接用C++语言和GiNaC的库编写符号计算的程序。其中的代数语法是通过C++的运算符重载实现的。开发者解释说之所以以GiNaC命名是因为大多数的代数系统都把重点放在了用户界面上，而不是与程序员的互操作性。GiNa