ELIMINATION IN WEYl ALGEBRA AND q-IDENTITIES

Yujuan HUANG;Tianming WANG

系统科学与复杂性(英文) ›› 2007, Vol. 20 ›› Issue (4) : 601-609.

PDF(184 KB)
中国科学院数学与系统科学研究院期刊网
JSSC
PDF(184 KB)
系统科学与复杂性(英文) ›› 2007, Vol. 20 ›› Issue (4) : 601-609.
论文

ELIMINATION IN WEYl ALGEBRA AND q-IDENTITIES

    Yujuan HUANG(1), Tianming WANG(2)
作者信息 +

ELIMINATION IN WEYl ALGEBRA AND q-IDENTITIES

    Yujuan HUANG(1), Tianming WANG(2)
Author information +
文章历史 +

摘要

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.

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.

关键词

Algorithm proof / elimination / q-hypergeometric identities.

Key words

Algorithm proof / elimination / q-hypergeometric identities.

引用本文

EndNote

Ris (Procite)

Bibtex

导出引用
Yujuan HUANG , Tianming WANG. ELIMINATION IN WEYl ALGEBRA AND q-IDENTITIES. 系统科学与复杂性(英文), 2007, 20(4): 601-609
Yujuan HUANG , Tianming WANG. ELIMINATION IN WEYl ALGEBRA AND q-IDENTITIES. Journal of Systems Science and Complexity, 2007, 20(4): 601-609
PDF(184 KB)

165

Accesses

0

Citation

Detail
段落导航
相关文章

/

〈 〉