GiNaC
GiNaC是一個自由的計算機代數系統，在 GNU通用公共許可證下發布。GiNaC這個名字是一個遞歸縮寫：GiNaC is Not a CAS（CAS，計算機代數系統）。這樣的命名方式源於GNU計劃。
| 開發者 | Christian Bauer, Alexander Frink, Richard B. Kreckel, et al. |
|---|---|
| 當前版本 | 1.7.2（2017年1月10日） |
| 原始碼庫 | |
| 程式語言 | C++ |
| 作業系統 | 跨平台 |
| 類型 | 數學軟體 |
| 許可協議 | GPL |
| 網站 | http://www.ginac.de/ |
GiNaC與其他計算機代數系統不同的是，它並沒有提供一個上層的用戶互動界面，而是鼓勵用戶直接用C++語言和GiNaC的庫編寫符號計算的程序。其中的代數語法是通過C++的運算符重載實現的。開發者解釋說之所以以GiNaC命名是因為大多數的代數系統都把重點放在了用戶界面上，而不是與程式設計師的互操作性。
GiNaC使用了CLN庫用於任意精度的數值計算。具有象徵意義的是，它可以計算帶有多個變量的代數式、因式分解、計算最大公約數、展開洛朗級數和利用矩陣計算等。它將能夠處理非交換性代數——這在理論上的高能物理：克利福德代數、特殊酉群、李代數、和電磁張量中有廣泛應用。由於這樣，它在緯度正則化計算中廣泛被應用——但是它並不被限制在物理學中。
