On the existence of telescopers for rational functions in three variables
文献类型：期刊论文
| 作者 | Chen, Shaoshi1,2; Du, Lixin1,2,3; Wang, Rong-Hua4; Zhu, Chaochao1,2 |
| 刊名 | JOURNAL OF SYMBOLIC COMPUTATION
 |
| 出版日期 | 2021-05-01 |
| 卷号 | 104页码:494-522 |
| 关键词 | Creative telescoping Existence criterion Reduction Telescoper |
| ISSN号 | 0747-7171 |
| DOI | 10.1016/j.jsc.2020.08.006 |
| 英文摘要 | Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or (q-)recurrence operators computed by algorithms for creative telescoping. Two fundamental problems related to creative telescoping are whether telescopers exist, and how to construct them efficiently when they do. In this paper, we solve the existence problem of telescopers for rational functions in three variables including 18 cases. We reduce the existence problem from the trivariate case to the bivariate case and some related problems. The existence criteria given in this paper enable us to determine the termination of algorithms for creative telescoping with trivariate rational inputs. (C) 2020 Elsevier Ltd. All rights reserved. |
| WOS研究方向 | Computer Science ; Mathematics |
| 语种 | 英语 |
| WOS记录号 | WOS:000598670000025 |
| 出版者 | ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/57891]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Chen, Shaoshi |
| 作者单位 | 1.Chinese Acad Sci, Acad Math & Syst Sci, KLMM, Beijing 100190, Peoples R China 2.Univ Chinese Acad Sci, Sch Math Sci, Beijing 100049, Peoples R China 3.Johannes Kepler Univ Linz, Inst Algebra, A-4040 Linz, Austria 4.Tiangong Univ, Sch Math Sci, Tianjin 300387, Peoples R China |
| 推荐引用方式 GB/T 7714 | Chen, Shaoshi,Du, Lixin,Wang, Rong-Hua,et al. On the existence of telescopers for rational functions in three variables[J]. JOURNAL OF SYMBOLIC COMPUTATION,2021,104:494-522. |
| APA | Chen, Shaoshi,Du, Lixin,Wang, Rong-Hua,&Zhu, Chaochao.(2021).On the existence of telescopers for rational functions in three variables.JOURNAL OF SYMBOLIC COMPUTATION,104,494-522. |
| MLA | Chen, Shaoshi,et al."On the existence of telescopers for rational functions in three variables".JOURNAL OF SYMBOLIC COMPUTATION 104(2021):494-522. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。