GiNac should be GiNaC to follow its own naming (see http://www.ginac.de/). It is a library for doing symbolic algebra in CeePlusPlus. The authors claim it is not a ComputerAlgebraSystem, although it provides similar facilities.
See also CliffordAlgebraComputation, RubyCoerce