{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,9]],"date-time":"2026-08-09T08:47:35Z","timestamp":1786265255463,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031690693","type":"print"},{"value":"9783031690709","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-69070-9_4","type":"book-chapter","created":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T11:23:00Z","timestamp":1724325780000},"page":"47-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Liouville Generator for\u00a0Producing Integrable Expressions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9104-4281","authenticated-orcid":false,"given":"Rashid","family":"Barket","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5729-3420","authenticated-orcid":false,"given":"Matthew","family":"England","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00fcrgen","family":"Gerhard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"issue":"8","key":"4_CR1","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1016\/j.jsc.2006.03.003","volume":"41","author":"J Baddoura","year":"2006","unstructured":"Baddoura, J.: Integration in finite terms with elementary functions and dilogarithms. J. Symb. Comput. 41(8), 909\u2013942 (2006). https:\/\/doi.org\/10.1016\/j.jsc.2006.03.003","journal-title":"J. Symb. Comput."},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Barket, R., England, M., Gerhard, J.: Generating elementary integrable expressions. In: Boulier, F., England, M., Kotsireas, I., Sadykov, T., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, vol. 14139, pp. 21\u201338. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41724-5_2","DOI":"10.1007\/978-3-031-41724-5_2"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Barket, R., England, M., Gerhard, J.: Symbolic integration algorithm selection with machine learning: LSTMs vs Tree LSTMs. In: Buzzard, K., Dickenstein, A., Eick, B., Leykin, A., Ren, Y. (eds.) Mathematical Software \u2013 ICMS 2024. ICMS 2024. Lecture Notes in Computer Science, vol. 14749. Springer, Cham(2024). https:\/\/doi.org\/10.1007\/978-3-031-64529-7_18","DOI":"10.1007\/978-3-031-64529-7_18"},{"issue":"7","key":"4_CR4","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1016\/j.jsc.2007.04.003","volume":"42","author":"M Bronstein","year":"2007","unstructured":"Bronstein, M.: Structure theorems for parallel integration. J. Symb. Comput. 42(7), 757\u2013769 (2007). https:\/\/doi.org\/10.1016\/j.jsc.2007.04.003","journal-title":"J. Symb. Comput."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-11607-9_17","volume-title":"Computer Algebra","author":"JH Davenport","year":"1982","unstructured":"Davenport, J.H.: The parallel Risch algorithm (I). In: Calmet, J. (ed.) EUROCAM 1982. LNCS, vol. 144, pp. 144\u2013157. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/3-540-11607-9_17"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1137\/0215063","volume":"15","author":"J Davenport","year":"1986","unstructured":"Davenport, J.: The Risch differential equation problem. SIAM J. Comput. 15, 903\u2013918 (1986). https:\/\/doi.org\/10.1137\/0215063","journal-title":"SIAM J. Comput."},{"key":"4_CR7","unstructured":"Davis, E.: The use of deep learning for symbolic integration: a review of (Lample and Charton, 2019). arXiv arXiv:1912.05752 (2019)"},{"issue":"32","key":"4_CR8","doi-asserted-by":"publisher","first-page":"e2123433119","DOI":"10.1073\/pnas.2123433119","volume":"119","author":"I Drori","year":"2022","unstructured":"Drori, I., et al.: A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level. Proc. Natl. Acad. Sci. 119(32), e2123433119 (2022). https:\/\/doi.org\/10.1073\/pnas.2123433119","journal-title":"Proc. Natl. Acad. Sci."},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Geddes, K.O., Stefanus, L.Y.: On the Risch-norman integration method and its implementation in MAPLE. In: Proceedings of the ACM-SIGSAM International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 212\u2013217. Association for Computing Machinery, New York, NY, USA (1989). https:\/\/doi.org\/10.1145\/74540.74567","DOI":"10.1145\/74540.74567"},{"key":"4_CR10","unstructured":"Hendrycks, D., et al.: Measuring mathematical problem solving with the MATH dataset. In: Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 2) (2021). https:\/\/openreview.net\/forum?id=7Bywt2mQsCe"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3572867.3572882","volume":"56","author":"S Iravanian","year":"2022","unstructured":"Iravanian, S., et al.: Symbolic-numeric integration of univariate expressions based on sparse regression. ACM Commun. Comput. Algebra 56(2), 84\u201387 (2022). https:\/\/doi.org\/10.1145\/3572867.3572882","journal-title":"ACM Commun. Comput. Algebra"},{"issue":"12","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.3390\/math9121317","volume":"9","author":"N Karjanto","year":"2021","unstructured":"Karjanto, N., Husain, H.S.: Not another computer algebra system: highlighting wxMaxima in calculus. Mathematics 9(12), 1317 (2021). https:\/\/doi.org\/10.3390\/math9121317","journal-title":"Mathematics"},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s00013-023-01907-5","volume":"121","author":"P Kumbhakar","year":"2023","unstructured":"Kumbhakar, P., Srinivasan, V.R.: Liouville\u2019s theorem on integration in finite terms for $$\\text{ D}_{\\infty }$$, $$\\text{ SL}_{2}$$, and Weierstrass field extensions. Arch. Math. 121(4), 371\u2013383 (2023). https:\/\/doi.org\/10.1007\/s00013-023-01907-5","journal-title":"Arch. Math."},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Lample, G., Charton, F.: Deep learning for symbolic mathematics. In: Proceedings of International Conference on Learning Representations (ICLR) (2020). https:\/\/doi.org\/10.48550\/arxiv.1912.01412","DOI":"10.48550\/arxiv.1912.01412"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-09519-5_90","volume-title":"Symbolic and Algebraic Computation","author":"AC Norman","year":"1979","unstructured":"Norman, A.C., Davenport, J.H.: Symbolic integration \u2014 the dust settles? In: Ng, E.W. (ed.) Symbolic and Algebraic Computation. LNCS, vol. 72, pp. 398\u2013407. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/3-540-09519-5_90"},{"key":"4_CR16","unstructured":"Norman, A., Moore, P.: Implementing the new Risch integration algorithm. In: Proceedings 4th International Colloquium on Advanced Computing Methods in Theoretical Physics, pp. 99\u2013110 (1977)"},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Piotrowski, B., Urban, J., Brown, C.E., Kaliszyk, C.: Can neural networks learn symbolic rewriting? In: Proceedings of the Artificial Intelligence and Theorem Proving (AITP) (2019). https:\/\/doi.org\/10.48550\/arXiv.1911.04873","DOI":"10.48550\/arXiv.1911.04873"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Raab, C.G.: Generalization of Risch\u2019s algorithm to special functions. In: Schneider, C., Bl\u00fcmlein, J. (eds.) Computer Algebra in Quantum Field Theory. Texts & Monographs in Symbolic Computation, pp. 285\u2013304. Springer, Vienna (2013). https:\/\/doi.org\/10.1007\/978-3-7091-1616-6_12","DOI":"10.1007\/978-3-7091-1616-6_12"},{"issue":"32","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.21105\/joss.01073","volume":"3","author":"A Rich","year":"2018","unstructured":"Rich, A., Scheibe, P., Abbasi, N.: Rule-based integration: an extensive system of symbolic integration rules. J. Open Source Softw. 3(32), 1073 (2018). https:\/\/doi.org\/10.21105\/joss.01073","journal-title":"J. Open Source Softw."},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1090\/S0002-9947-1969-0237477-8","volume":"139","author":"RH Risch","year":"1969","unstructured":"Risch, R.H.: The problem of integration in finite terms. Trans. Am. Math. Soc. 139, 167\u2013189 (1969). https:\/\/doi.org\/10.1090\/S0002-9947-1969-0237477-8","journal-title":"Trans. Am. Math. Soc."},{"key":"4_CR21","unstructured":"Sharma, V., abhinav nagpal, Balin, M.F.: SIRD: symbolic integration rules dataset. In: The 3rd Workshop on Mathematical Reasoning and AI at NeurIPS 2023 (2023). https:\/\/openreview.net\/forum?id=WWDsbsgyhS"},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1137\/0214069","volume":"14","author":"MF Singer","year":"1985","unstructured":"Singer, M.F., Saunders, B.D., Caviness, B.F.: An extension of Liouville\u2019s theorem on integration in finite terms. SIAM J. Comput. 14(4), 966\u2013990 (1985). https:\/\/doi.org\/10.1137\/0214069","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-69070-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T11:32:41Z","timestamp":1724326361000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-69070-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031690693","9783031690709"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-69070-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CASC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Computer Algebra in Scientific Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}