COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES.

We introduce in this paper a straightforward but useful method for computing indefinite rational matrix products. The method is used to prove a certain identity involving definite sums and a definite integral. [ABSTRACT FROM AUTHOR]