The open source software GINV implements the Gröbner bases method for systems of equations.
GINV is a C++ module of Python designed for constructing Gröbner bases of ideals and modules in polynomial, differential and difference rings.
Gröbner bases are constructed by involutive algorithms.
GINV is an open source software.
The source codes, the installation package for Python, documentation in Russian and English are available on the Web page http://invo.jinr.ru