于布林科夫。答:。;格特,V.P。 专用计算机代数系统GINV。 (英语。俄文原件) Zbl 1185.68867号 程序。计算。柔和。 34,第2期,112-123(2008);译自Programmirovanie 34,No.2,67-80(2008)。 摘要:介绍了计算机代数系统GINV(Gröbner INVolutive)。它是为研究和求解多项式型代数、微分和差分方程组而设计的,通过它们的对合完成。该系统基于作者开发的多项式理想和模的对合Janet基和类Janet基以及约化Gröbner基的构造算法。GINV由一个C(++)程序库组成,它是Python语言的一个模块。可在以下网址获取:网址:http://invo.jinr.ru/ginv/并根据GPL v2的条款进行分发。 引用于4文件 MSC公司: 68瓦30 符号计算和代数计算 13-04 与交换代数有关的问题的软件、源代码等 软件:珍妮特;吉诺夫 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Blinkov}和\textit{V.P.Gerdt},程序。计算。柔和。34,No.2,112--123(2008;Zbl 1185.68867);译自Programmirovanie 34,No.2,67--80(2008) 全文: 内政部