Открытая система GINV реализующая метод базисов Гребнера для систем уравнений.
Представляет собой реализованный на C++ модуль языка Python для построения базисов Грёбнера идеалов и модулей в полиномиальных, дифференциальных и разностных кольцах.
При построение базисов Грёбнера используется инволютивный подход.
GINV представляет собой "open source".
Исходные тексты программ, установочный пакет языка Python, документация на русском и английском языке доступна по адресу http://invo.jinr.ru