{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T02:09:29Z","timestamp":1769047769011,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSFC","award":["11501552 11871067 11688101"],"award-info":[{"award-number":["11501552 11871067 11688101"]}]},{"name":"the Frontier Key Project of Chinese Academy of Sciences","award":["QYZDJ-SSW-SYS022"],"award-info":[{"award-number":["QYZDJ-SSW-SYS022"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326277","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"11-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Reduction Approach to Creative Telescoping"],"prefix":"10.1145","author":[{"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[{"name":"Academy of Mathematics and Systems Science, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"issue":"4","key":"e_1_3_2_1_1_1","first-page":"1035","article-title":"The rational component of the solution of a first order linear recurrence relation with rational right hand side. . Vyisl. 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. . Vyisl. Mat. i Mat. Fiz., 15(4):1035--1039, 1090, 1975.","journal-title":"Fiz."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220386"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(02)00504-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(02)00442-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384103"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0522"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(02)00022-2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1098650"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80159-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2005.09.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837975"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465946"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208992"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930907"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465935"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80027-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1121608"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.08.005"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208987"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326231"},{"key":"e_1_3_2_1_21_1","volume-title":"Constructing minimal telescopers for rational functions in three discrete variables","author":"Chen Shaoshi","year":"2019","unstructured":"Shaoshi Chen, Qing-Hu Hou, Hui Huang, George Labahn, and Rong-Hua Wang. Constructing minimal telescopers for rational functions in three discrete variables, 2019. Preprint: arXiv:1904.11614"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930895"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756648"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442850"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.02.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608641"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930901"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442851"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.06.003"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2012.04.003"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.07.005"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.09.002"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnt.2009.01.026"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_35_1","volume-title":"Ecole Polytechnique X","author":"Chyzak Fr\u00e9d\u00e9ric","year":"2014","unstructured":"Fr\u00e9d\u00e9ric Chyzak. The ABC of Creative Telescoping - Algorithms, Bounds, Complexity. Habilitation \u00e0 diriger des recherches, Ecole Polytechnique X, April 2014."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576720"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0207"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1137\/0215063"},{"key":"e_1_3_2_1_39_1","volume-title":"Reduction-based creative telescoping for q-hypergeometric terms. In preparation","author":"Du Hao","year":"2019","unstructured":"Hao Du, Jing Guo, Hui Huang, and Ziming Li. Reduction-based creative telescoping for q-hypergeometric terms. In preparation, 2019."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73232-9_5"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1949.11990232"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005313"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.24033\/asens.82"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(03)00056-3"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930893"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.08.002"},{"key":"e_1_3_2_1_47_1","volume-title":"A fast approach to creative telescoping. Mathematics in Computer Science, 4(2--3):259--266","author":"Koutschan Christoph","year":"2010","unstructured":"Christoph Koutschan. A fast approach to creative telescoping. Mathematics in Computer Science, 4(2--3):259--266, 2010."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1616-6_7"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3054"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.10.002"},{"key":"e_1_3_2_1_51_1","first-page":"145","article-title":"des fractions rationnelles. Bull. de la classe physico-math\u00e9matique de l'Acad","volume":"4","author":"Ostrogradski Mikhail Vasil'evich","year":"1845","unstructured":"Mikhail Vasil'evich Ostrogradski. 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_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1049"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Marko Petkovek Herbert Wilf and Doron Zeilberger. A = B. AK Peters Ltd. 1997.","DOI":"10.1201\/9781439864500"},{"key":"e_1_3_2_1_55_1","volume-title":"Integrals and Series","author":"Prudnikov A. P.","year":"1986","unstructured":"A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev. Integrals and Series. Vol. 2. Gordon & Breach Science Publishers, New York, 1986. Special functions, Translated from the Russian by N. M. Queen."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930940"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0237477-8"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/907590"},{"key":"e_1_3_2_1_59_1","volume-title":"Foundations of Computational Mathematics","author":"Salvy Bruno","year":"2019","unstructured":"Bruno Salvy. Linear differential equations as a data structure. Foundations of Computational Mathematics, Jan 2019."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1616-6_14"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/96877.96929"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/96877.96916"},{"key":"e_1_3_2_1_63_1","volume-title":"MIT","author":"Trager Barry M.","year":"1984","unstructured":"Barry M. Trager. On the Integration of Algebraic Functions. Phd thesis, MIT, Computer Science, 1984."},{"key":"e_1_3_2_1_64_1","volume-title":"Constructing reductions for creative telescoping","author":"Der Hoeven Joris Van","year":"2017","unstructured":"Joris Van Der Hoeven. Constructing reductions for creative telescoping. December 2017. Preprint: hal-01435877v3,"},{"key":"e_1_3_2_1_65_1","volume-title":"Creative telescoping using reductions","author":"Der Hoeven Joris Van","year":"2018","unstructured":"Joris Van Der Hoeven. Creative telescoping using reductions. June 2018. Preprint: hal-01773137v2."},{"key":"e_1_3_2_1_66_1","volume-title":"RISC-Linz","author":"Wegschaider Kurt","year":"1997","unstructured":"Kurt Wegschaider. Computer generated proofs of binomial multi-sum identities. Master's thesis, RISC-Linz, May 1997."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100618"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(90)90042-X"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China","acronym":"ISSAC '19","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:00Z","timestamp":1750206360000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":68,"alternative-id":["10.1145\/3326229.3326277","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326277","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}