{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,9]],"date-time":"2026-08-09T08:46:27Z","timestamp":1786265187954,"version":"3.56.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031645280","type":"print"},{"value":"9783031645297","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-64529-7_18","type":"book-chapter","created":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:21:35Z","timestamp":1721143295000},"page":"167-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic Integration Algorithm Selection with\u00a0Machine Learning: LSTMs Vs Tree LSTMs"],"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,7,17]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Barket, R., England, M., Gerhard, J.: Generating elementary integrable expressions. In: Boulier, F. (ed.) Computer Algebra in Scientific Computing. LNCS, vol. 14139, pp. 21\u201338. Springer Nature, Switzerland (2023). https:\/\/doi.org\/10.1007\/978-3-031-41724-5_2","DOI":"10.1007\/978-3-031-41724-5_2"},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Hochreiter, S., Schmidhuber, J.: Long short-term memory. In: Neural Computation, vol.\u00a09, pp. 1735-1780. MIT Press, Cambridge, MA, USA (1997). https:\/\/doi.org\/10.1162\/neco.1997.9.8.1735","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-08434-3_8","volume-title":"Intelligent Computer Mathematics","author":"Z Huang","year":"2014","unstructured":"Huang, Z., England, M., Wilson, D., Davenport, J.H., Paulson, L.C., Bridge, J.: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS (LNAI), vol. 8543, pp. 92\u2013107. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08434-3_8"},{"key":"18_CR4","unstructured":"Jia, F., Dong, Y., Liu, M., Huang, P., Ma, F., Zhang, J.: Suggesting variable order for cylindrical algebraic decomposition via reinforcement learning. In: Thirty-seventh Conference on Neural Information Processing Systems (NeurIPS) (2023). https:\/\/openreview.net\/forum?id=vNsdFwjPtL"},{"key":"18_CR5","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":"18_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2023.102276","volume":"123","author":"L Pickering","year":"2024","unstructured":"Pickering, L., del R\u00edo Almajano, T., England, M., Cohen, K.: Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123, 102276 (2024). https:\/\/doi.org\/10.1016\/j.jsc.2023.102276","journal-title":"J. Symb. Comput."},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Piotrowski, B., Urban, J., Brown, C.E., Kaliszyk, C.: Can neural networks learn symbolic rewriting? In: Proceedings of Artificial Intelligence and Theorem Proving (AITP) (2019). https:\/\/doi.org\/10.48550\/arXiv.1911.04873","DOI":"10.48550\/arXiv.1911.04873"},{"key":"18_CR8","doi-asserted-by":"publisher","unstructured":"Simpson, M.C., Yi, Q., Kalita, J.: Automatic algorithm selection in computational software using machine learning. In: 15th International Conference Machine Learning and Applications (ICMLA), pp. 355\u2013360 (2016). https:\/\/doi.org\/10.1109\/ICMLA.2016.0064","DOI":"10.1109\/ICMLA.2016.0064"},{"key":"18_CR9","doi-asserted-by":"publisher","unstructured":"Tai, K.S., Socher, R., Manning, C.D.: Improved semantic representations from tree-structured long short-term memory networks. In: Proceedings of 53rd Annual Meeting of the ACL and the 7th International Joint Conference on NLP, vol. 1, pp. 1556\u20131566. Association for Computational Linguistics (2015). https:\/\/doi.org\/10.3115\/v1\/P15-1150","DOI":"10.3115\/v1\/P15-1150"},{"key":"18_CR10","unstructured":"Wang, M., et al.: Deep graph library: a graph-centric, highly-performant package for graph neural networks. arXiv:1909.01315 (2019). https:\/\/www.dgl.ai\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2024"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64529-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:23:50Z","timestamp":1721143430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64529-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031645280","9783031645297"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64529-7_18","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":"17 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Congress on Mathematical Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Durham","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"22 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icms2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/maths.dur.ac.uk\/icms2024\/ICMS2024.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}