GiNaC je knihovna C ++.Je navržen tak, aby pod jednou střechou umožňoval vytváření integrovaných systémů, které vkládají symbolické manipulace spolu s více zavedenými oblastmi informatiky (jako jsou numerické aplikace s intenzivním výpočtem, grafická rozhraní atd.).Je distribuován za podmínek všeobecné licence GNU GNU (GPL).GiNaC je iterovaná a rekurzivní zkratka pro GiNaC není CAS, kde CAS znamená Computer Algebra System.