COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES

DOI10.1142/S0219498804000721zbMath1087.15017OpenAlexW1976553336MaRDI QIDQ5315542

Burkhard Zimmermann, Peter J. Larcombe, Axel Riese

Publication date: 8 September 2005

Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219498804000721

zbMATH Keywords

computer proofcomputer algebrarecurrence relationsdefinite integrationindefinite rational matrix products

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Matrix equations and identities (15A24) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Cites Work

• A fast algorithm for proving terminating hypergeometric identities
• Differentiably finite power series
• The method of creative telescoping
• An introduction to pseudo-linear algebra
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities

This page was built for publication: COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES