GiNaCRA: GiNaC Real Algebra Package

An open source C library extending the C library GiNaC which provides algebraic capabilities including support for symbolic manipulations on polynomials. GiNaCRA aims at providing real algebraic computations based on the efficient GiNaC framework.

Available at: http://ginacra.sourceforge.net/

Contact: Ulrich Loup