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.

No reviews for this publication, yet.