GiNaCRA / News: Recent posts

We successfully published a tool paper about GiNaCRA at NASA Formal Methods Symposium 2011:

Ulrich Loup and Erika Abraham. GiNaCRA: A C++ Library for Real Algebraic Computations. In Proc. of the 3rd NASA Formal Methods Symposium (NFM’11). pages 512–517. Volume 6617 of LNCS. Springer-Verlag, 2011.