| ELIMINATION AND IDENTITIES WITH THE INTEGRAL SIGN |
| |
| 作者姓名： | Hongmei LIU Tianming WANG |
| |
| 作者单位： | [1]Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China. [2]Department of Applied Mathematics, Dalian University of Technology, Dalian 116024; Department of Mathematics, Hainan Normal University, Haikou 571158, China. |
| |
| 基金项目： | This research is supported by Wu Foundation. |
| |
| 摘 要： | In this paper,we aim at using the elimination in Weyl algebra to give an algorithm forproving the identities with integral sign.Then,we test several examples that have been proved by D.Zeilberger.
|
| 关 键 词： | 消除 识别性 完整标记 Weyl代数学 |
| 收稿时间： | 2005-03-29 |
| 修稿时间： | 2005-03-292005-11-01 |
Elimination and Identities with the Integral Sign |
| |
| Hongmei LIU Tianming WANG.ELIMINATION AND IDENTITIES WITH THE INTEGRAL SIGN[J].Journal of Systems Science and Complexity,2006,19(4):470-477. |
| |
| Authors: | Hongmei Liu Tianming Wang |
| |
| Institution: | (1) Department of Applied Mathematics, Dalian University of Technology, Dalian, 116024, China;(2) Department of Mathematics, Hainan Normal University, Haikou, 571158, China |
| |
| Abstract: | In this paper, we aim at using the elimination in Weyl algebra to give an algorithm for proving the identities with integral sign. Then, we test several examples that have been proved by D. Zeilberger. |
| |
| Keywords: | Algorithm proof elimination identities with integral sign |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
