Dear Singular (and Mathematica) users,
at
http://www.risc.uni-linz.ac.at/research/combinat/software/Singular/ you will find a user-friendly package for Mathematica, which implements
external calls of Singular's Groebner bases-related functions.
The package is distributed under GPL. Have fun with it!
With best regards,
Manuel Kauers and Viktor Levandovskyy