GiNaCRA is a C++ library providing data structures and algorithms for Real Algebraic computations. GiNaCRA is based on the efficient C++ library GiNaC including support for symbolic manipulations on polynomials.
- Real algebraic number arithmetic
- Real root finding
- Finding common real roots of a set of polynomials
- Computing test point of a cylindrical algebraic decomposition
- Computing Gröbner bases
Be the first to post a review of GiNaCRA!