4ti2 tutorial
Input Auxiliary functions Output management
Hilbert bases Graver bases Gröbner bases Markov bases Minimization
At the moment, this is only a very brief tutorial on how to use 4ti2.

But it should suffice to get you started.
back to www.4ti2.de