Shaoshi Chen , Lixin Du , Manuel Kauers , Rong-Hua Wang
{"title":"通过积分基对 P 递归序列进行基于还原的创造性伸缩","authors":"Shaoshi Chen , Lixin Du , Manuel Kauers , Rong-Hua Wang","doi":"10.1016/j.jsc.2024.102341","DOIUrl":null,"url":null,"abstract":"<div><p>We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telescoping algorithm based on the concept of integral bases.</p></div>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0747717124000452/pdfft?md5=77af70a9370b6d4cc1266d4be05c2fe3&pid=1-s2.0-S0747717124000452-main.pdf","citationCount":"0","resultStr":"{\"title\":\"Reduction-based creative telescoping for P-recursive sequences via integral bases\",\"authors\":\"Shaoshi Chen , Lixin Du , Manuel Kauers , Rong-Hua Wang\",\"doi\":\"10.1016/j.jsc.2024.102341\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telescoping algorithm based on the concept of integral bases.</p></div>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-05-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S0747717124000452/pdfft?md5=77af70a9370b6d4cc1266d4be05c2fe3&pid=1-s2.0-S0747717124000452-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0747717124000452\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0747717124000452","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Reduction-based creative telescoping for P-recursive sequences via integral bases
We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telescoping algorithm based on the concept of integral bases.