GiNaCRA: A C++ Library for Real Algebraic Computations.

Ulrich Loup Erika Ábrahám

Published in: NASA Formal Methods (2011)

Keyphrases

real life
data structure
machine learning
higher order
real time
information retrieval
e learning
high level
evolutionary algorithm
special case