GINV project

		GINV (Groebner INVolutive) is Open Source Software Implementing Groebner Bases Methods for Systems of Equations. This software oriented to creation a library of symbolic algorithms for investigating system of algebraic, differential and difference equations of polynomial type by their converting into the Groebner basis form. Currently, the library of GINV 1.2 includes algorithms for constructing involutive Janet bases with integer coefficients for polynomial ideals and modules and Janet-like bases~for polynomial ideals. The reduced Groebner bases can also be output. The library written in C++ and documented in Russian and English by means of doxygen. The interfaces developed for basic classes allow a user to implement easily new algorithms and data structures. The software integrated in Python as a module. GINV 1.2 is available on the Web pages “http://invo.jinr.ru", http://wwwb.math.rwth-aachen.de/Janet/ginv.htm. The GINV software is under development in cooperation with the Technical University (RWTH, Aachen, Germany ).