{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:43:18Z","timestamp":1781638998716,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":31,"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":[{"name":"National Natural Science Foundation of China","award":["11771433"],"award-info":[{"award-number":["11771433"]}]},{"name":"National Natural Science Foundation of China","award":["11501552"],"award-info":[{"award-number":["11501552"]}]},{"name":"National Natural Science Foundation of China","award":["11688101"],"award-info":[{"award-number":["11688101"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3208987","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"135-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Additive Decompositions in Primitive Extensions"],"prefix":"10.1145","author":[{"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[{"name":"Chinese Academy of Sciences &amp; University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Du","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences &amp; University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziming","family":"Li","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences &amp; University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258774"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80159-9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837975"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465946"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465935"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208992"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80027-2"},{"key":"e_1_3_2_1_9_1","volume-title":"Symbolic Integration I: Transcendental Functions","author":"Bronstein M.","year":"2005","unstructured":"M. Bronstein . Symbolic Integration I: Transcendental Functions . Springer-Verlag , Berlin , second edition, 2005 . M. Bronstein. Symbolic Integration I: Transcendental Functions. Springer-Verlag, Berlin, second edition, 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930901"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-017-6202-9"},{"issue":"108","key":"e_1_3_2_1_12_1","first-page":"127","article-title":"Reduction-based creative telescoping for fuchsian D-finite functions","volume":"85","author":"Chen S.","year":"2018","unstructured":"S. Chen , M. van Hoeij , M. Kauers , and C. Koutschan . Reduction-based creative telescoping for fuchsian D-finite functions . J. Symbolic Comput. , 85 : 108 -- 127 , 2018 . S. Chen, M. van Hoeij, M. Kauers, and C. Koutschan. Reduction-based creative telescoping for fuchsian D-finite functions. J. Symbolic Comput., 85:108 -- 127, 2018.","journal-title":"J. Symbolic Comput."},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10290-6","volume-title":"On the Integration of Algebraic Functions","author":"Davenport J. H.","year":"1981","unstructured":"J. H. Davenport . On the Integration of Algebraic Functions , volume 102 of Lecture Notes in Computer Science . Springer-Verlag , Berlin , 1981 . J. H. Davenport. On the Integration of Algebraic Functions, volume 102 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1981."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005313"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.24033\/asens.82"},{"key":"e_1_3_2_1_16_1","volume-title":"An Introduction to Differential Algebra","author":"Kaplansky I.","year":"1957","unstructured":"I. Kaplansky . An Introduction to Differential Algebra . Hermann , Paris , 1957 . I. Kaplansky. An Introduction to Differential Algebra. Hermann, Paris, 1957."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0901678106"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1019186108"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3054"},{"key":"e_1_3_2_1_20_1","first-page":"124","article-title":"Premier m\u00e9moires sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9brique","volume":"14","author":"Liouville J.","year":"1833","unstructured":"J. Liouville . Premier m\u00e9moires sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9brique . J. de l'Ecole Polytechnique , 14 : 124 -- 148 , 1833 . J. Liouville. Premier m\u00e9moires sur la d\u00e9termination des int\u00e9grales dont la valeur est alg\u00e9brique. J. de l'Ecole Polytechnique, 14:124--148, 1833.","journal-title":"J. de l'Ecole Polytechnique"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0989-8","volume-title":"Joseph Liouville 1809--1882: master of pure and applied mathematics. Studies in the History of Mathematics and Physical Sciences","author":"L\u00fctzen J.","year":"1990","unstructured":"J. L\u00fctzen . Joseph Liouville 1809--1882: master of pure and applied mathematics. Studies in the History of Mathematics and Physical Sciences , Vol. 15 , Springer-Verlag , New York , 1990 . J. L\u00fctzen. Joseph Liouville 1809--1882: master of pure and applied mathematics. Studies in the History of Mathematics and Physical Sciences, Vol. 15, Springer-Verlag, New York, 1990."},{"key":"e_1_3_2_1_22_1","unstructured":"J. Moses. Symbolic Integration. PhD Thesis MIT 1968.  J. Moses. Symbolic Integration. PhD Thesis MIT 1968."},{"key":"e_1_3_2_1_23_1","first-page":"145","article-title":"des fractions rationnelles. Bull. de la classe physico-math\u00e9matique de l'Acad","volume":"4","author":"Ostrogradskiu\u0131 M. V.","year":"1845","unstructured":"M. V. Ostrogradskiu\u0131 . 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 . M. V. Ostrogradskiu\u0131. 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","first-page":"285","volume-title":"Computer algebra in quantum field theory, Texts Monogr. Symbol. Comput.","author":"Raab C. G.","year":"2013","unstructured":"C. G. Raab . Generalization of Risch's algorithm to special functions . In Computer algebra in quantum field theory, Texts Monogr. Symbol. Comput. , pages 285 -- 304 . Springer , Vienna , 2013 . C. G. Raab. Generalization of Risch's algorithm to special functions. In Computer algebra in quantum field theory, Texts Monogr. Symbol. Comput., pages 285--304. Springer, Vienna, 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0237477-8"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1970-12454-5"},{"key":"e_1_3_2_1_28_1","volume-title":"Liouville's Theory of Elementary Methods","author":"Ritt J. F.","year":"1948","unstructured":"J. F. Ritt . Integration in Finite Terms . Liouville's Theory of Elementary Methods . Columbia University Press , New York, N. Y. , 1948 . J. F. Ritt. Integration in Finite Terms. Liouville's Theory of Elementary Methods. Columbia University Press, New York, N. Y., 1948."},{"key":"e_1_3_2_1_29_1","volume-title":"AMS Colloquium Publications","author":"Ritt J. F.","year":"1950","unstructured":"% J. F. Ritt . Differential Algebra . AMS Colloquium Publications , Vol. XXXIII . AMS, New York , N. Y. , 1950 . %J. F. Ritt. Differential Algebra. AMS Colloquium Publications, Vol. XXXIII. AMS, New York, N. Y., 1950."},{"key":"e_1_3_2_1_31_1","first-page":"263","volume-title":"Proc. of the 1977 MACSYMA Users Conference","author":"Rothstein Michael","year":"1977","unstructured":"Michael Rothstein . A new algorithms for integration of exponential and logarithmic functions . In Proc. of the 1977 MACSYMA Users Conference ( Berkeley, CA) , pp. 263 -- 274 , Washington DC, 1977 . NASA. Michael Rothstein. A new algorithms for integration of exponential and logarithmic functions. In Proc. of the 1977 MACSYMA Users Conference (Berkeley, CA), pp. 263--274, Washington DC, 1977. NASA."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-1616-6","volume-title":"Computer algebra in quantum field theory: Integration, summation and special functions. Texts Monogr. Symbol. Comput","author":"Schneider C.","year":"2013","unstructured":"C. Schneider and J. Bl\u00fcmlein , editors . Computer algebra in quantum field theory: Integration, summation and special functions. Texts Monogr. Symbol. Comput ., Springer , Vienna , 2013 . C. Schneider and J. Bl\u00fcmlein, editors. Computer algebra in quantum field theory: Integration, summation and special functions. Texts Monogr. Symbol. Comput., Springer, Vienna, 2013."},{"key":"e_1_3_2_1_35_1","volume-title":"Preprint","author":"van der Hoeven J.","year":"2017","unstructured":"J. van der Hoeven . Constructing reductions for creative telescoping . Preprint , 2017 . <hal-01435877v4> J. van der Hoeven. Constructing reductions for creative telescoping. Preprint, 2017. <hal-01435877v4>"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"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.3208987","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3208987","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.3208987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":31,"alternative-id":["10.1145\/3208976.3208987","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3208987","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"}}]}}