Abstract
In this paper, the following are introduced briefly: the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non-commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger’s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Wilf using the WZ-pair method and Gosper algorithm.
Similar content being viewed by others
References
Herbert S. Wilf and Doron Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum / integral identities, Invent. math., 1992, 108: 575–633.
M. Petkovsek, H. S. Wilf, and D. Zeilberger, A=B, Peters, Wellesley, MA, 1996.
D. Zeilberger, A holonomic system approach to special function identities, Journal of computation and applied math, 1990, 32: 321–368.
T. M. Wang, W. P. Wang, and Y. X. Xu, Elimination in Weyl algebra and identities, Journal of Mathematical Research and Exposition, 2003, 23(4): 644.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Huang, Y., Wang, T. Elimination in Weyl Algebra and q-Identities. Jrl Syst Sci & Complex 20, 601–609 (2007). https://doi.org/10.1007/s11424-007-9058-6
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/s11424-007-9058-6