{"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":1781638998281,"version":"3.54.5"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T00:00:00Z","timestamp":1720656000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T00:00:00Z","timestamp":1720656000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s11424-024-3325-7","type":"journal-article","created":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T01:01:32Z","timestamp":1720659692000},"page":"1206-1225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reducing Hyperexponential Functions over Monomial Extensions"],"prefix":"10.1007","volume":"38","author":[{"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Du","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiman","family":"Gao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziming","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,11]]},"reference":[{"key":"3325_CR1","doi-asserted-by":"crossref","unstructured":"Raab C G and Singer M F, Integration in Finite Terms: Fundamental Sources, Text & Monographs in Symbolic Computation, Springer, 2022.","DOI":"10.1007\/978-3-030-98767-1"},{"key":"3325_CR2","volume-title":"Symbolic Integration I: Transcendental Functions, volume 1 of Algorithms and Computation in Mathematics","author":"M Bronstein","year":"2005","unstructured":"Bronstein M, Symbolic Integration I: Transcendental Functions, volume 1 of Algorithms and Computation in Mathematics, Springer-Verlag, Berlin, Second Edition, 2005.","edition":"Second Edition"},{"key":"3325_CR3","series-title":"Proceedings of ISSAC\u2019","first-page":"77","volume-title":"Hermite reduction and creative telescoping for hyperexponential functions","author":"A Bostan","year":"2013","unstructured":"Bostan A, Chen S, Chyzak F, et al., Hermite reduction and creative telescoping for hyperexponential functions, Proceedings of ISSAC\u2019 13, ACM, New York, 2013, 77\u201384."},{"issue":"4","key":"3325_CR4","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/0041-5553(75)90181-0","volume":"15","author":"S A Abramov","year":"1975","unstructured":"Abramov S A, The rational component of the solution of a first-order linear recurrence relation with a rational right side, USSR Computational Mathematics and Mathematical Physics, 1975, 15(4): 216\u2013221.","journal-title":"USSR Computational Mathematics and Mathematical Physics"},{"key":"3325_CR5","series-title":"Proceedings of ISSAC\u2019","first-page":"7","volume-title":"Minimal decomposition of indefinite hypergeometric sums","author":"S A Abramov","year":"2001","unstructured":"Abramov S A and Petkov\u0161ek M, Minimal decomposition of indefinite hypergeometric sums, Proceedings of ISSAC\u2019 01, ACM, New York, 2001, 7\u201314."},{"issue":"5","key":"3325_CR6","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1006\/jsco.2002.0522","volume":"33","author":"S A Abramov","year":"2002","unstructured":"Abramov S A and Petkov\u0161ek M, Rational normal forms and minimal decompositions of hypergeometric terms, Journal of Symbolic Computation, 2002, 33(5): 521\u2013543.","journal-title":"Journal of Symbolic Computation"},{"key":"3325_CR7","series-title":"Proceedings of ISSAC\u2019","first-page":"117","volume-title":"A modified Abramov-Petkov\u0161ek reduction and creative telescoping for hypergeometric terms","author":"S Chen","year":"2015","unstructured":"Chen S, Huang H, Kauers M, et al., A modified Abramov-Petkov\u0161ek reduction and creative telescoping for hypergeometric terms, Proceedings of ISSAC\u2019 15, ACM, New York, 2015, 117\u2013124."},{"issue":"4","key":"3325_CR8","doi-asserted-by":"publisher","first-page":"1573","DOI":"10.1007\/s11424-021-0216-z","volume":"35","author":"X Chen","year":"2022","unstructured":"Chen X, Yang A L, and Zhao J J, Recurrences for Callan\u2019s generalization of Narayana polynomials, Journal of Systems Science and Complexity, 2022, 35(4): 1573\u20131585.","journal-title":"Journal of Systems Science and Complexity"},{"key":"3325_CR9","series-title":"Advances in Computer Algebra, volume 226 of Springer Proc. Math. Stat.","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-319-73232-9_5","volume-title":"A q-analogue of the modified Abramov-Petkov\u0161ek reduction","author":"H Du","year":"2018","unstructured":"Du H, Huang H, and Li Z, A q-analogue of the modified Abramov-Petkov\u0161ek reduction, Advances in Computer Algebra, volume 226 of Springer Proc. Math. Stat., Springer, Cham, 2018, 105\u2013129."},{"key":"3325_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.jsc.2019.11.004","volume":"103","author":"H Hou","year":"2021","unstructured":"Hou H, Mu Y, and Zeilberger D, Polynomial reduction and supercongruences, Journal of Symbolic Computation, 2021, 103: 127\u2013140.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"3325_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s11424-020-9391-6","volume":"34","author":"R Wang","year":"2021","unstructured":"Wang R, An algorithmic approach to the q-summability problem of bivariate rational functions, Journal of Systems Science and Complexity, 2021, 34(1): 107\u2013121.","journal-title":"Journal of Systems Science and Complexity"},{"key":"3325_CR12","series-title":"Proceedings of ISSAC\u2019","first-page":"183","volume-title":"Differential rational normal forms and a reduction algorithm for hyperexponential functions","author":"K O Geddes","year":"2004","unstructured":"Geddes K O, Le H Q, and Li Z, Differential rational normal forms and a reduction algorithm for hyperexponential functions, Proceedings of ISSAC\u2019 04, ACM, New York, 2004, 183\u2013190."},{"key":"3325_CR13","series-title":"Proceedings of ISSAC\u2019","first-page":"135","volume-title":"Additive decompositions in primitive extensions","author":"S Chen","year":"2018","unstructured":"Chen S, Du H, and Li Z, Additive decompositions in primitive extensions, Proceedings of ISSAC\u2019 18, ACM, New York, 2018, 135\u2013142."},{"key":"3325_CR14","series-title":"Proceedings of ISSAC\u2019","first-page":"146","volume-title":"An additive decomposition in logarithmic towers and beyond","author":"H Du","year":"2020","unstructured":"Du H, Guo J, Li Z, et al., An additive decomposition in logarithmic towers and beyond, Proceedings of ISSAC\u2019 20, ACM, New York, 2020, 146\u2013153."},{"key":"3325_CR15","series-title":"Proceedings of ISSAC\u2019","first-page":"175","volume-title":"Reduction-based creative telescoping for algebraic functions","author":"S Chen","year":"2016","unstructured":"Chen S, Kauers M, and Koutschan C, Reduction-based creative telescoping for algebraic functions, Proceedings of ISSAC\u2019 16, ACM, New York, 2016, 175\u2013182."},{"key":"3325_CR16","series-title":"PhD thesis","volume-title":"Aspects of symbolic integration and simplification of exponential and primitive functions","author":"M Rothstein","year":"1976","unstructured":"Rothstein M, Aspects of symbolic integration and simplification of exponential and primitive functions, PhD thesis, University of Wisconsin, Madison, 1976."},{"issue":"10","key":"3325_CR17","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1016\/j.jsc.2011.12.045","volume":"47","author":"C G Raab","year":"2012","unstructured":"Raab C G, Using Gr\u00f6bner bases for finding the logarithmic part of the integral of transcendental functions, Journal of Symbolic Computation, 2012, 47(10): 1290\u20131296.","journal-title":"Journal of Symbolic Computation"},{"key":"3325_CR18","series-title":"Proceedings of ISSAC\u2019","first-page":"242","volume-title":"Computing logarithmic parts by evaluation homomorphisms","author":"H Du","year":"2023","unstructured":"Du H, Gao Y, Guo J, et al., Computing logarithmic parts by evaluation homomorphisms, Proceedings of ISSAC\u2019 23, ACM, New York, 2023, 242\u2013250."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-024-3325-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-024-3325-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-024-3325-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T10:45:00Z","timestamp":1749465900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-024-3325-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,11]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["3325"],"URL":"https:\/\/doi.org\/10.1007\/s11424-024-3325-7","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,11]]},"assertion":[{"value":"17 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"CHEN Shaoshi is an editorial board member for Journal of Systems Science & Complexity and was not involved in the editorial review or the decision to publish this article. All authors declare that there are no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}