A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities

Journal of Symbolic Computation - Tập 20 Số 5-6 - Trang 673-698 - 1995
Peter Paule1, Markus Schorn1
1Research Institute for Symbolic Computation, J. Kepler University, A-4040 Linz, Austria

Tóm tắt

Từ khóa


Tài liệu tham khảo