ELIMINATION IN WEYI ALGEBRA AND q-IDENTITIES
ELIMINATION IN WEYI ALGEBRA AND q-IDENTITIES
关键词
算法证明
排除方法
几何分布
数学分析
Algorithm proof, elimination, q-hypergeometric identities.
参考文献4
-
1Herbert S. Wilf and Doron Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and "q") multisum / integral identities, Invent. math., 1992, 108: 575-633.
-
2M. Petkovsek, H. S. Wilf, and D. Zeilberger, A=B, Peters, Wellesley, MA, 1996.
-
3D. Zeilberger, A holonomic system approach to special function identities, Journal of computation and applied math, 1990, 32: 321-368.
-
4T. 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.
-
1刘立红,周海云,陈东青.Hilbert空间中k—严格伪压缩映像不动点的迭代算法[J].数学的实践与认识,2011,41(9):234-238. 被引量:1
-
2刘立红,周海云,陈东青.Hilbert空间中严格伪压缩映像有限族公共不动点的迭代算法[J].河北大学学报(自然科学版),2011,31(3):236-239.
-
3高兴慧,周海云.Hilbert空间中拟非扩张映像族的逼近定理[J].武汉大学学报(理学版),2011,57(2):123-126. 被引量:5
-
4刘立红,陈东青,周海云.Hilbert空间中严格伪压缩映像族公共不动点的迭代算法[J].河北师范大学学报(自然科学版),2011,35(4):343-345. 被引量:1
-
5闵啸,耕田.带缓冲区的平行机半在线排序问题的近似算法[J].嘉兴学院学报,2005,17(3):31-35. 被引量:2
-
6邹世开.BCH码译码迭代算法证明的简化[J].导航,1990(1):41-47.
-
7时凌,程学光.带单服务器和相同加工时间的流水作业排序问题[J].数学物理学报(A辑),2012,32(6):1121-1125.
-
8刘立红,陈东青,唐西南.Banach空间中拟严格伪压缩映像族不动点的收敛定理[J].河北科技大学学报,2011,32(6):529-531.
-
9孔德洲.Banach空间广义平衡问题和一簇拟φ-非扩张映象的强收敛定理[J].应用泛函分析学报,2013,15(3):253-258. 被引量:2
-
10孙毅.一个组合恒等式的算法证明[J].新疆大学学报(自然科学版),2013,30(2):154-156.