http://en.wikipedia.org/wiki/Gr%C3%B6bner_basis
How to find groebner basis?
Get Cocoa, for linux,
$ cd /usr/local
$ sudo wget http://cocoa.dima.unige.it/download/bin/cocoa-4.7.4-linux-x86.tar.gz
$ sudo tar zxvf cocoa-4.7.4-linux-x86.tar.gz
$ cd cocoa-4.7/
$ ./xcocoa
There is an example.