Frédéric Chyzak, Bruno Salvy. Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities. Journal of Symbolic Computation, 26(2):187-227, 1998.
@article{ChyzakS98,
title = {Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities},
author = {Frédéric Chyzak and Bruno Salvy},
year = {1998},
tags = { algebra},
researchr = {https://researchr.org/publication/ChyzakS98},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {26},
number = {2},
pages = {187-227},
}