Gerdt, Vladimir P.; Blinkov, Yuri A. - In: Mathematics and Computers in Simulation (MATCOM) 45 (1998) 5, pp. 543-560
In this paper, we present an algorithm for construction of minimal involutive polynomial bases which are Gröbner bases of the special form. The most general involutive algorithms are based on the concept of involutive monomial division which leads to partition of variables into multiplicative...