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.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
- Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd: A symbiosis of interval constraint propagation and cylindrical algebraic decomposition (2013)
- Loup, Ulrich; Ábrahám, Erika: I-RiSC: an SMT-compliant solver for the existential fragment of real algebra (2011)
- Loup, Ulrich; Ábrahám, Erika: GiNaCRA: A C++ library for real algebraic computations (2011) ioport