Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities

Frédéric Chyzak, Bruno Salvy. Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities. Journal of Symbolic Computation, 26(2):187-227, 1998.

Abstract

Abstract is missing.