{"title":"超几何双和的创造性伸缩","authors":"Peter Paule, Carsten Schneider","doi":"arxiv-2401.16314","DOIUrl":null,"url":null,"abstract":"We present efficient methods for calculating linear recurrences of\nhypergeometric double sums and, more generally, of multiple sums. In\nparticular, we supplement this approach with the algorithmic theory of\ncontiguous relations, which guarantees the applicability of our method for many\ninput sums. In addition, we elaborate new techniques to optimize the underlying\nkey task of our method to compute rational solutions of parameterized linear\nrecurrences.","PeriodicalId":501033,"journal":{"name":"arXiv - CS - Symbolic Computation","volume":"323 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Creative Telescoping for Hypergeometric Double Sums\",\"authors\":\"Peter Paule, Carsten Schneider\",\"doi\":\"arxiv-2401.16314\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present efficient methods for calculating linear recurrences of\\nhypergeometric double sums and, more generally, of multiple sums. In\\nparticular, we supplement this approach with the algorithmic theory of\\ncontiguous relations, which guarantees the applicability of our method for many\\ninput sums. In addition, we elaborate new techniques to optimize the underlying\\nkey task of our method to compute rational solutions of parameterized linear\\nrecurrences.\",\"PeriodicalId\":501033,\"journal\":{\"name\":\"arXiv - CS - Symbolic Computation\",\"volume\":\"323 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Symbolic Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2401.16314\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Symbolic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2401.16314","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Creative Telescoping for Hypergeometric Double Sums
We present efficient methods for calculating linear recurrences of
hypergeometric double sums and, more generally, of multiple sums. In
particular, we supplement this approach with the algorithmic theory of
contiguous relations, which guarantees the applicability of our method for many
input sums. In addition, we elaborate new techniques to optimize the underlying
key task of our method to compute rational solutions of parameterized linear
recurrences.