{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T19:07:58Z","timestamp":1773947278925,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005304","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-14-CE25-0018-01"],"award-info":[{"award-number":["ANR-14-CE25-0018-01"]}],"id":[{"id":"10.13039\/501100005304","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3208992","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"95-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions"],"prefix":"10.1145","author":[{"given":"Alin","family":"Bostan","sequence":"first","affiliation":[{"name":"INRIA, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Chyzak","sequence":"additional","affiliation":[{"name":"INRIA, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Lairez","sequence":"additional","affiliation":[{"name":"INRIA, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Salvy","sequence":"additional","affiliation":[{"name":"INRIA, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","author":"Abramov S. A.","year":"1999","journal-title":"EG-eliminations. J. Differ. Equations Appl., 5(4--5):393--433"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/120694.120735"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384103"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"S. A. Abramov and M. van Hoeij. Integration of solutions of linear functional equations. Integral Transform. Spec. Funct. 8(1--2):3--12 1999.  S. A. Abramov and M. van Hoeij. Integration of solutions of linear functional equations. Integral Transform. Spec. Funct. 8(1--2):3--12 1999.","DOI":"10.1080\/10652469908819212"},{"issue":"13","key":"e_1_3_2_1_5_1","first-page":"543","article-title":"du lemme du vecteur cyclique","volume":"306","author":"Adjamagbo K.","year":"1988","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. I Math."},{"key":"e_1_3_2_1_6_1","first-page":"279","article-title":"An index theorem for p-adic differential operators","volume":"216","author":"Adolphson A.","year":"1976","journal-title":"Trans. Amer. Math. Soc."},{"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 M. A.","year":"1999","journal-title":"J. Symbolic Comput., 28(4--5):547--567"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837975"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465946"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930907"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465935"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756648"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930901"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442851"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.07.005"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812778437_0007"},{"key":"e_1_3_2_1_18_1","unstructured":"F. Chyzak. Fonctions holonomes en calcul formel. PhD Thesis \u00c9cole polytechnique 1998.  F. Chyzak. Fonctions holonomes en calcul formel. PhD Thesis \u00c9cole polytechnique 1998."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_20_1","unstructured":"F. Chyzak. The ABC of Creative Telescoping - Algorithms Bounds Complexity. Accreditation to supervise research (HDR) \u00c9cole polytechnique Apr. 2014.  F. Chyzak. The ABC of Creative Telescoping - Algorithms Bounds Complexity. Accreditation to supervise research (HDR) \u00c9cole polytechnique Apr. 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0207"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/0215063"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2370405"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1051"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1870.71.91"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005313"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.24033\/asens.82"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930893"},{"key":"e_1_3_2_1_29_1","unstructured":"E. L. Ince. Ordinary Differential Equations. Dover Publications New York 1944.  E. L. Ince. Ordinary Differential Equations. Dover Publications New York 1944."},{"key":"e_1_3_2_1_30_1","unstructured":"C. Koutschan. Examplesv11.nb. On the Holonomic Functions web page.  C. Koutschan. Examplesv11.nb. On the Holonomic Functions web page."},{"key":"e_1_3_2_1_31_1","volume-title":"RISC-Linz","author":"Koutschan C.","year":"2009"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3054"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"J. Liouville. Second m\u00e9moire sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9brique. Journal de l'\u00c9cole polytechnique 14:149--193 1833.  J. Liouville. Second m\u00e9moire sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9brique. Journal de l'\u00c9cole polytechnique 14:149--193 1833.","DOI":"10.1515\/crll.1833.10.342"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(88)90166-4"},{"key":"e_1_3_2_1_35_1","first-page":"147","article-title":"Sur les points singuliers des \u00e9quations diff\u00e9rentielles","volume":"20","author":"Malgrange B.","year":"1974","journal-title":"Enseignement Math. (2)"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2307\/2373603"},{"key":"e_1_3_2_1_37_1","first-page":"145","article-title":"des fractions rationnelles. Bull. classe phys.-math","volume":"4","author":"Ostrogradsky M.","year":"1845","journal-title":"Acad. Imp\u00e9riale des Sciences Saint-P\u00e9tersbourg"},{"key":"e_1_3_2_1_38_1","first-page":"143","article-title":"Sur les int\u00e9grales doubles de fonctions rationnelles dont tous les r\u00e9sidus sont nuls","volume":"26","year":"1902","journal-title":"Bull. Sci. Math. (2)"},{"key":"e_1_3_2_1_39_1","unstructured":"\u00c9. Picard and G. Simart. Th\u00e9orie des fonctions alg\u00e9briques de deux variables ind\u00e9pendantes volume I (1897) and II (1906). Gauthier-Villars et fils 1897.  \u00c9. Picard and G. Simart. Th\u00e9orie des fonctions alg\u00e9briques de deux variables ind\u00e9pendantes volume I (1897) and II (1906). Gauthier-Villars et fils 1897."},{"key":"e_1_3_2_1_40_1","unstructured":"A. P. Prudnikov Y. A. Brychkov and O. I. Marichev. Integrals and series. Vol. 2. Gordon & Breach Science Publishers NY second edition 1988. Special functions.  A. P. Prudnikov Y. A. Brychkov and O. I. Marichev. Integrals and series. Vol. 2. Gordon & Breach Science Publishers NY second edition 1988. Special functions."},{"issue":"6","key":"e_1_3_2_1_41_1","first-page":"505","article-title":"Sci","volume":"332","author":"Rezaoui M. S.","year":"2001","journal-title":"Paris S\u00e9r. I Math."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90039-7"},{"key":"e_1_3_2_1_43_1","volume-title":"MIT","author":"Trager B. M.","year":"1984"},{"key":"e_1_3_2_1_44_1","unstructured":"J. van der Hoeven. Constructing reductions for creative telescoping 2017. Technical Report J. van der Hoeven. Constructing reductions for creative telescoping 2017. Technical Report"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.2008.238.171"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"M.\n       \n      van der Put\n     and \n      \n      \n      M. F.\n       \n      Singer\n      \n  \n  . \n  Galois theory of linear differential equations volume \n  328\n   of \n  Grundlehren der Mathematischen Wissenschaften\n  . \n  Springer 2003\n  .  M. van der Put and M. F. Singer. Galois theory of linear differential equations volume 328 of Grundlehren der Mathematischen Wissenschaften. Springer 2003.","DOI":"10.1007\/978-3-642-55750-7"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806320"},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. IFIP'77 Congr.","author":"Yun D. Y. Y.","year":"1977"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","location":"New York NY USA","acronym":"ISSAC '18","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3208992","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3208992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:49Z","timestamp":1750208929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3208992"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":48,"alternative-id":["10.1145\/3208976.3208992","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3208992","relation":{},"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"2018-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}