Computing Gröbner and Involutive Bases for Linear Systems of Difference Equations.

The computation of involutive bases and Gröbner bases for linear systems of difference equations is solved and its importance for physical and mathematical problems is discussed. The algorithm and issues concerning its implementation in C are presented and calculation times are compared with the competing programs. The paper ends with consideration on the parallel version of this implementation and its scalability. [ABSTRACT FROM AUTHOR]