ELIMINATION IN WEYI ALGEBRA AND q-IDENTITIES  

作　　者：Yujuan HUANG Tianming WANG 

机构地区：[1]Department of Mathematics & Physics, Shandong Jiaotong University, Jinan 250023, China [2]Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China

出　　处：《Journal of Systems Science & Complexity》2007年第4期601-609,共9页系统科学与复杂性学报（英文版）

摘　　要：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. Will using the WZ-pair method and Gosper algorithm.

关 键 词：Algorithm proof ELIMINATION q-hypergeometric identities. 

分 类 号：O1-0[理学—数学]