Journal of symbolic computation. 1998;26(2):187-227. doi: 10.1006/jsco.1998.0207 Q21.12025
Non-commutative Elimination in Ore Algebras Proves Multivariate Identities
DOI: 10.1006/jsco.1998.0207
摘要 查看摘要
Journal of symbolic computation. 1998;26(2):187-227. doi: 10.1006/jsco.1998.0207 Q21.12025
DOI: 10.1006/jsco.1998.0207
摘要 查看摘要