{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:42:17Z","timestamp":1758591737877,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669714","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"410-418","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2132-1543","authenticated-orcid":false,"given":"Shahriar","family":"Iravanian","sequence":"first","affiliation":[{"name":"Cardiology, Emory University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8046-6043","authenticated-orcid":false,"given":"Shashi","family":"Gowda","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5850-0663","authenticated-orcid":false,"given":"Christopher","family":"Rackauckas","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"volume-title":"One-Variable Calculus, with an Introduction to Linear Algebra","author":"Apostol M.","key":"e_1_3_2_1_1_1","unstructured":"Tom\u00a0M. Apostol. 1967. Calculus, Vol. 1: One-Variable Calculus, with an Introduction to Linear Algebra. J. Wiley."},{"key":"e_1_3_2_1_2_1","unstructured":"Manuel Bronstein. 2005. Symbolic Integration I (2 ed.). Springer Cham."},{"key":"e_1_3_2_1_3_1","first-page":"15","article-title":"Discovering governing equations from data by sparse identification of nonlinear dynamical systems","volume":"113","author":"Brunton L.","year":"2016","unstructured":"Steven\u00a0L. Brunton, Joshua\u00a0L. Proctor, J.\u00a0Nathan Kutz, and William Bialek. 2016. Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proceedings of the National Academy of Sciences of the United States of America 113, 15 (April 2016), 3932\u20133937.","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/mag.2020.96"},{"key":"e_1_3_2_1_5_1","volume-title":"On the parallel Risch algorithm (III). ACM SIGSAM Bulletin 16, 3 (Aug","author":"Davenport H.","year":"1982","unstructured":"James\u00a0H. Davenport. 1982. On the parallel Risch algorithm (III). ACM SIGSAM Bulletin 16, 3 (Aug. 1982), 3\u20136. Publisher: Association for Computing Machinery (ACM)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74567"},{"key":"e_1_3_2_1_7_1","volume-title":"High-performance symbolic-numerics via multiple dispatch. arXiv preprint arXiv:2105.03949","author":"Gowda Shashi","year":"2021","unstructured":"Shashi Gowda, Yingbo Ma, Alessandro Cheli, Maja Gwozdz, Viral\u00a0B Shah, Alan Edelman, and Christopher Rackauckas. 2021. High-performance symbolic-numerics via multiple dispatch. arXiv preprint arXiv:2105.03949 (2021)."},{"key":"e_1_3_2_1_8_1","volume-title":"Sur l\u2019int\u00e9gration des fractions rationnelles. Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure 1","author":"Hermite Charles","year":"1872","unstructured":"Charles Hermite. 1872. Sur l\u2019int\u00e9gration des fractions rationnelles. Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure 1 (1872), 215\u2013218."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Ellis Horowitz. 1970. Algorithms for Partial Fraction Decomposition and Rational Function Integration. Technical Report. University of Wisconsin-Madison Department of Computer Sciences.","DOI":"10.1145\/800204.806314"},{"volume-title":"Integration in Finite Terms: Fundamental Sources (1 ed.)","author":"Raab G.","key":"e_1_3_2_1_10_1","unstructured":"Clemens\u00a0G. Raab and Michael\u00a0F. Singer. 2022. Integration in Finite Terms: Fundamental Sources (1 ed.). Springer Berlin."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01073"},{"key":"e_1_3_2_1_12_1","volume-title":"Some undecidable problems involving elementary functions of a real variable. Journal of Symbolic Logic 33, 4 (Jan","author":"Richardson Daniel","year":"1969","unstructured":"Daniel Richardson. 1969. Some undecidable problems involving elementary functions of a real variable. Journal of Symbolic Logic 33, 4 (Jan. 1969), 514\u2013520. Publisher: Cambridge University Press (CUP)."},{"key":"e_1_3_2_1_13_1","volume-title":"The Problem of Integration in Finite Terms. Trans. Amer. Math. Soc. 139 (May","author":"Risch H.","year":"1969","unstructured":"Robert\u00a0H. Risch. 1969. The Problem of Integration in Finite Terms. Trans. Amer. Math. Soc. 139 (May 1969), 167. Publisher: JSTOR."},{"volume-title":"Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions","author":"Rothstein Michael","key":"e_1_3_2_1_14_1","unstructured":"Michael Rothstein. 1976. Aspects of Symbolic Integration and Simplification of Exponential and Primitive Functions. University of Wisconsin."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5206\/mt.v3i1.14661"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806338"},{"volume-title":"Modern Computer Algebra (3 ed.)","author":"von\u00a0zur Gathen Joachim","key":"e_1_3_2_1_17_1","unstructured":"Joachim von\u00a0zur Gathen and J\u00fcrgen Gerhard. 2013. Modern Computer Algebra (3 ed.). Cambridge University Press."}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669714","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:51:55Z","timestamp":1758588715000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669714"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":17,"alternative-id":["10.1145\/3666000.3669714","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669714","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}