基辅

专业计算机代数系统。介绍了计算机代数系统GINV(Gröbner对合)。它是为研究和解决代数,微分和多项式型差分方程组的完成对合而设计的。在Janeténér基的基础上,构造了Janeténér系统的多项式基和约化基。GINV包含一个C++程序库,它是Python语言的一个模块。可在http://invo.jinr.ru/ginv/并根据GPL v2的条款进行分发。