Specialized computer algebra system GINV

Authors:
Yu. A. Blinkov;V. P. Gerdt
Affiliations:
Department of Mathematics and Mechanics, Saratov State University, Saratov, Russia 410071;Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia 141980
Venue:
Programming and Computing Software
Year:
2008

Citing 0
Cited 3

On computation of Boolean involutive bases

Programming and Computing Software
Involutive division generated by an antigraded monomial ordering

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Involutive bases algorithm incorporating F5 criterion

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Computer algebra system GINV (Gr枚bner INVolutive) is presented. It is designed for studying and solving systems of algebraic, differential, and difference equations of polynomial type by their completion to involution. The system is based on algorithms for constructing involutive Janet and Janet-like bases for polynomial ideals and modules, as well as reduced Gr枚bner bases, developed by the authors. GINV consists of a library of C++ programs, which is a module of the Python language. It is available at http://invo.jinr.ru/ginv/ and is distributed under the terms of the GPL v2.