{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:18:28Z","timestamp":1758709108916,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key Research and Development Project","award":["2020YFA0712300"],"award-info":[{"award-number":["2020YFA0712300"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11871067, 11688101, 11771433"],"award-info":[{"award-number":["11871067, 11688101, 11771433"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Beijing Natural Science Foundation","award":["Z190004"],"award-info":[{"award-number":["Z190004"]}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["349357"],"award-info":[{"award-number":["349357"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Fund of the Youth Innovation Promotion Association, CAS","award":["2018001"],"award-info":[{"award-number":["2018001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465514","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"83-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Separability Problems in Creative Telescoping"],"prefix":"10.1145","author":[{"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Ruyong","family":"Feng","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Pingchuan","family":"Ma","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Michael F.","family":"Singer","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1071","article-title":"The summation of rational functions. vZ. Vyvcisl. Mat i Mat","volume":"11","author":"Abramov Sergei A.","year":"1971","unstructured":"Sergei A. Abramov. The summation of rational functions. vZ. Vyvcisl. Mat i Mat. Fiz., 11:1071--1075, 1971.","journal-title":"Fiz."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(74)90095-0"},{"issue":"4","key":"e_1_3_2_1_3_1","first-page":"1035","article-title":"The rational component of the solution of a first order linear recurrence relation with rational right hand side. v Z. Vyv cisl. Mat. i Mat","volume":"15","author":"Abramov Sergei A.","year":"1975","unstructured":"Sergei A. Abramov. The rational component of the solution of a first order linear recurrence relation with rational right hand side. v Z. Vyv cisl. Mat. i Mat. Fiz., 15(4):1035--1039, 1090, 1975.","journal-title":"Fiz."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220386"},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"ISSAC'01: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation","author":"Sergei","year":"2001","unstructured":"Sergei A. Abramov and Manuel Bronstein. On solutions of linear functional systems. In ISSAC'01: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, pages 1--6, New York, NY, USA, 2001. ACM."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-005-0449-8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80159-9"},{"key":"e_1_3_2_1_8_1","article-title":"On rational solutions of systems of linear differential equations","author":"Barkatou Moulay A.","year":"1999","unstructured":"Moulay A. Barkatou. On rational solutions of systems of linear differential equations. J. Symbolic Comput., 28(4--5):547--567, 1999. Differential algebra and differential equations.","journal-title":"J. Symbolic Comput., 28(4--5):547--567"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/b138957"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00173-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404028"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2020.08.006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326231"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608638"},{"key":"e_1_3_2_1_15_1","volume-title":"Telescopers for differential forms with one parameter","author":"Chen Shaoshi","year":"2021","unstructured":"Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, and Stephen Watt. Telescopers for differential forms with one parameter, 2021. arXiv: 2101.06576."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2012.04.003"},{"key":"e_1_3_2_1_17_1","volume-title":"No. VI. American Mathematical Society","author":"Chevalley Claude","year":"1951","unstructured":"Claude Chevalley. Introduction to the Theory of Algebraic Functions of One Variable. Mathematical Surveys, No. VI. American Mathematical Society, New York, NY, 1951."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.24033\/asens.82"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Serge Lang. Algebra volume 211 of Graduate Texts in Mathematics. Springer-Verlag New York third edition 2002.","DOI":"10.1007\/978-1-4613-0041-0"},{"key":"e_1_3_2_1_21_1","volume-title":"On a class of hyperexponential elements and the fast versions of Zeilberger's algorithm","author":"Le Ha Quang","year":"2004","unstructured":"Ha Quang Le and Ziming Li. On a class of hyperexponential elements and the fast versions of Zeilberger's algorithm, 2004. MM-Res. Preprints (2004) No. 23, 136--150."},{"key":"e_1_3_2_1_22_1","volume-title":"Springer Monographs in Mathematics","author":"Malle Gunter","year":"1999","unstructured":"Gunter Malle and B. Heinrich Matzat. Inverse Galois theory. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 1999."},{"key":"e_1_3_2_1_23_1","volume-title":"Symmetry and Separation of Variables","author":"Miller Willard","year":"1977","unstructured":"Willard Miller, Jr. Symmetry and Separation of Variables. Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1977. With a foreword by Richard Askey, Encyclopedia of Mathematics and its Applications, Vol. 4."},{"key":"e_1_3_2_1_24_1","first-page":"145","article-title":"des fractions rationnelles. Bull. de la classe physico-math\u00e9matique de l'Acad","volume":"4","author":"Ostrogradskiui Mikhail Vasil'evich","year":"1845","unstructured":"Mikhail Vasil'evich Ostrogradskiui. De l'int\u00e9gration des fractions rationnelles. Bull. de la classe physico-math\u00e9matique de l'Acad. Imp\u00e9riale des Sciences de Saint-P\u00e9tersbourg, 4:145--167, 286--300, 1845.","journal-title":"Imp\u00e9riale des Sciences de Saint-P\u00e9tersbourg"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1071"},{"key":"e_1_3_2_1_26_1","unstructured":"Marko Petkov\u0161ek Herbert S. Wilf and Doron Zeilberger. A=B . A. K. Peters Ltd. Wellesley MA 1996. With a foreword by Donald E. Knuth."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(01)00165-7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0195-6698(80)80051-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100618"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465514","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:07Z","timestamp":1750193287000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465514"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":30,"alternative-id":["10.1145\/3452143.3465514","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465514","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}