Two methods for determining combinatorial identities
Article Sidebar
Main Article Content
Abstract
Two methods are presented for determining advanced combinatorial identities. The first is based on extending the original identity so that it can be expressed in terms of hypergeometric functions whereupon tabulated values of the functions can be used to reduce the identity to a simpler form. The second is a computer method based on Koepf's version of the Wilf-Zeilberger approach that has been implemented in a suite of intrinsic routines in Maple. As a consequence, some new identities are presented.
Downloads
Article Details
Copyright (c) 2023 Kowalenko V.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Weintraub SH. The Adjoint of Differentiation, delivered in the Experimental Mathematics seminar, Rutgers University. Nov 6 2014. https://vimeo.com/111794318 & https://vimeo.com/111794317.
Weintraub SH. The Adjoint of Differentiation, Experimental Mathematics. 2014; 23:429-432.
Wolfram S. Mathematica- A System for Doing Mathematics by Computer, Addison-Wesley, Reading, Massachusetts. 1992.
Gradshteyn IS, Ryzhik IM, Jeffrey A (Eds.). Table of Integrals, Series and Products, Fifth Ed., Academic Press, London, USA. 1994.
Prudnikov AP, Brychkov YuA, Marichev OI. Integrals and Series, Vol. 3: More Special Functions, Gordon and Breach, New York. 1990.
Prudnikov AP, Brychkov YuA, Marichev OI. Integrals and Series. Special Functions, Gordon and Breach, New York. 1986; 2:421.
Wilf HS, Zeilberger D. Rational Functions Certify Combinatorial Identities, J. Amer. Math. Soc. 1990; 3:147-158.
Koepf W. Hypergeometric summation. Vieweg, Braunschweig/Wiesbaden. 1998.
Zeilberger D. A Fast Algorithm for Proving Terminating Hypergeometric Identities, Discrete Math. 1990; 80(2):207-211.