望远镜的存在性问题:超越二元情况

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation Pub Date : 2016-01-12 DOI:10.1145/2930889.2930895

Shaoshi Chen, Q. Hou, G. Labahn, Rong-Hua Wang

{"title":"望远镜的存在性问题:超越二元情况","authors":"Shaoshi Chen, Q. Hou, G. Labahn, Rong-Hua Wang","doi":"10.1145/2930889.2930895","DOIUrl":null,"url":null,"abstract":"In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, a problem which has recently been solved. This existence criteria is used, for example, for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.","PeriodicalId":169557,"journal":{"name":"Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation","volume":"73 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Existence Problem of Telescopers: Beyond the Bivariate Case\",\"authors\":\"Shaoshi Chen, Q. Hou, G. Labahn, Rong-Hua Wang\",\"doi\":\"10.1145/2930889.2930895\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, a problem which has recently been solved. This existence criteria is used, for example, for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.\",\"PeriodicalId\":169557,\"journal\":{\"name\":\"Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation\",\"volume\":\"73 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-01-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2930889.2930895\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2930889.2930895","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

本文解决了三离散变量有理数函数的伸缩量存在性问题。我们把这个问题简化为判定二元有理函数的可和性的问题，这个问题最近已经得到了解决。该存在准则用于检测Zeilberger算法对本文所研究的函数类的终止。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Existence Problem of Telescopers: Beyond the Bivariate Case

In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, a problem which has recently been solved. This existence criteria is used, for example, for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation

自引率

0.00%

发文量