Publication

Aligator: A mathematica package for invariant generation