Aligator: A Mathematica Package for Invariant Generation (System Description).

Laura Kovcs

Browse the full CADE paper archive.