Ginac est une bibliothèque de calcul formel pour le langage C++. Ginac est publiée sous la licence GPL. - Les fonctionnalités de la bibliothèque sont nombreuses : factorisation, développement d`expression algébriques, dérivation formelle, manipulation de matrice....etc.