GiNaCRA: a C++ library for real algebraic computations

Authors:
Ulrich Loup;Erika Ábrahám
Affiliations:
RWTH Aachen University, Germany;RWTH Aachen University, Germany
Venue:
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Year:
2011

Citing 4
Cited 2

Algorithmic algebra

Algorithmic algebra
REDLOG: computer algebra meets computer logic

ACM SIGSAM Bulletin
QEPCAD B: a program for computing with semi-algebraic sets using CADs

ACM SIGSAM Bulletin
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)

Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)

I-RiSC: an SMT-compliant solver for the existential fragment of real algebra

CAI'11 Proceedings of the 4th international conference on Algebraic informatics
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox

SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 longterm 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.