Представлена система компьютерной алгебры GINV (сокращение от Grobner INVolutive), разработанная для исследования и решения систем алгебраических, дифференциальных и разностных уравнений полиномиального типа методами их приведения в инволюцию. В основе системы лежат авторские алгоритмы построения инволютивных базисов Жане и степенных базисов Жане для полиномиальных идеалов и модулей, а также приведенных базисов Гребнера. GINV состоит из библиотеки программ на языке С++, являющейся модулем языка Python, доступна на сайте и распространяется на условиях GPL v2 http://invo.jinr.ru/ginv/ .
