GiNaCRA: A C++ library for real algebraic computations

by Ulrich Loup, Erika Ábrahám
Reference:
GiNaCRA: A C++ library for real algebraic computations (Ulrich Loup, Erika Ábrahám), Chapter in NASA Formal Methods, Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@incollection{loup2011ginacra,
  title={GiNaCRA: A C++ library for real algebraic computations},
  author={Loup, Ulrich and {'A}brah{'a}m, Erika},
  booktitle={NASA Formal Methods},
  pages={512--517},
  year={2011},
  publisher={Springer Berlin Heidelberg}
}

Bookmark the permalink.