GiNaC 是一个 C++ 库。它旨在使开发者能够构建集成系统，将符号运算与其他计算机科学领域（如计算密集型数值应用、图形界面等）结合在一起。GiNaC 以 GNU 通用公共许可证（GPL）的条款和条件进行分发。GiNaC 是一个迭代和递归的缩写，全称为“GiNaC is Not a CAS”，其中 CAS 指的是计算机代数系统。