Ginv swMATH ID: 350 Software Authors: Blinkov, Yu.A.; Gerdt, V.P. Description: Specialized computer algebra system GINV. The 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. Homepage: http://invo.jinr.ru/ginv/ Related Software: Janet; Maple; AlgebraicThomas; DIFFALG; DifferentialThomas; RegularChains; Magma; Macaulay2; SINGULAR; CoCoA; InvolutiveBases; OreMorphisms; primdec; Jets; CRACK; OreModules; ALLTYPES; REDUCE; MuPAD; homalg Cited in: 8 Publications all top 5 Cited by 10 Authors 6 Gerdt, Vladimir Petrovich 3 Blinkov, Yuri A. 2 Robertz, Daniel 1 Bächler, Thomas 1 Hashemi, Amir 1 Jambor, Sebastian 1 Khvedelidze, Arsen Morisovich 1 Lange-Hegermann, Markus 1 M.-Alizadeh, Benyamin 1 Zinin, Mikhail V. Cited in 3 Serials 3 Journal of Symbolic Computation 2 Programming and Computer Software 1 Lecture Notes in Mathematics all top 5 Cited in 8 Fields 7 Commutative algebra (13-XX) 6 Computer science (68-XX) 2 Partial differential equations (35-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) Citations by Year