GiNaCRA: A C++ Library for Real Algebraic Computations

  • Ulrich Loup
  • Erika Ábrahám
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6617)


We present the growing C++ library GiNaCRA, which provides efficient and easy-to-integrate data structures and methods for real algebra. It is based on the C++ library GiNaC, supporting the symbolic representation and manipulation of polynomials. In contrast to other similar tools, our open source library aids exact, real algebraic computations based on an appropriate data type representing real zeros of polynomials. The only non-standard library GiNaCRA depends on is GiNaC, which makes the installation and usage of our library simple. Our long-term goal is to integrate decision procedures for real algebra within the Satisfiability-Modulo-Theories (SMT) context and thereby provide tool support for many applied formal methods.


Real Root Decision Procedure Computer Algebra System Interval Representation Real Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
  3. 3.
  4. 4.
  5. 5.
  6. 6.
  7. 7.
  8. 8.
    Abbott, J., Bigatti, A.: CoCoALib: a c++ library for doing Computations in Commutative Algebra,
  9. 9.
    Barrett, C., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library, SMT-LIB (2010),
  10. 10.
    Basu, S., Pollack, R., Roy, M.: Algorithms in real algebraic geometry, 2nd edn., vol. 10. Springer, Heidelberg (2010)zbMATHGoogle Scholar
  11. 11.
    Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin 37(4), 97–108 (2003)CrossRefzbMATHGoogle Scholar
  12. 12.
    Decker, W., Greuel, G.M., Pfister, G., Schönemann, H.: Singular 3-1-2 — A computer algebra system for polynomial computations (2010),
  13. 13.
    Dolzmann, A., Sturm, T.: REDLOG: Computer algebra meets computer logic. SIGSAM Bulletin 31(2), 2–9 (1997)CrossRefGoogle Scholar
  14. 14.
    Mishra, B.: Algorithmic Algebra. Texts and Monographs in Computer Science. Springer, New York (1993)CrossRefzbMATHGoogle Scholar
  15. 15.
    The PARI Group, Bordeaux: PARI/GP, version 2.3.5 (2008),

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ulrich Loup
    • 1
  • Erika Ábrahám
    • 1
  1. 1.RWTH Aachen UniversityGermany

Personalised recommendations