{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T18:49:46Z","timestamp":1758394186214,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,23]],"date-time":"2017-07-23T00:00:00Z","timestamp":1500768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Russian Foundation for Basic Research","award":["grant No. 16-01-00080"],"award-info":[{"award-number":["grant No. 16-01-00080"]}]},{"name":"KAUST","award":["Baseline Funding"],"award-info":[{"award-number":["Baseline Funding"]}]},{"name":"Ministry of Education and Science of the Russian Federation","award":["agreement 02.a03.21.0008"],"award-info":[{"award-number":["agreement 02.a03.21.0008"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,23]]},"DOI":"10.1145\/3087604.3087626","type":"proceedings-article","created":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T20:02:15Z","timestamp":1500494535000},"page":"285-292","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Algorithmic Verification of Linearizability for Ordinary Differential Equations"],"prefix":"10.1145","author":[{"given":"Dmitry A.","family":"Lyakhov","sequence":"first","affiliation":[{"name":"King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}]},{"given":"Vladimir P.","family":"Gerdt","sequence":"additional","affiliation":[{"name":"Joint Institute for Nuclear Research & Peoples' Friendship University, Moscow Region, Russian Fed."}]},{"given":"Dominik L.","family":"Michels","sequence":"additional","affiliation":[{"name":"King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}]}],"member":"320","published-online":{"date-parts":[[2017,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ordinary Differential Equations","author":"Arnold Vladimir","year":"1992","unstructured":"Vladimir Arnold. Ordinary Differential Equations. Springer, Berlin, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-011-0128-x"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/43\/46\/465201"},{"key":"e_1_3_2_1_5_1","volume-title":"Symmetry and Integration Methods for Differential Equations","author":"Bluman George","year":"2001","unstructured":"George Bluman and Stephen Anco. Symmetry and Integration Methods for Differential Equations. Springer, New York, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0299"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207160.2012.688112"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022838932176"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2010.09.021"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10440-008-9202-x"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763852.1763855"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2005.01.025"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/41\/23\/235206"},{"key":"e_1_3_2_1_14_1","volume-title":"A Practical Course in Differential Equations and Mathematical Modelling. Classical and New Methods. Nonlinear Mathematical Models. Symmetry and In variance Principles","author":"Ibragimov Nail","year":"2009","unstructured":"Nail Ibragimov. A Practical Course in Differential Equations and Mathematical Modelling. Classical and New Methods. Nonlinear Mathematical Models. Symmetry and In variance Principles. Higher Education Press, World Scientific, New Jersey, 2009."},{"key":"e_1_3_2_1_15_1","unstructured":"Markus Lange-Hegermann. The Differential Dimension Polynomial for Characterizable Differential Ideals. arXiv:math-AC\/1401.5959."},{"key":"e_1_3_2_1_16_1","unstructured":"Markus Lange-Hegermann. Differential Thomas: Thomas decomposition of differential systems. http:\/\/wwwb.math.rwth-aachen.de\/thomasdecomposition\/."},{"issue":"5","key":"e_1_3_2_1_17_1","first-page":"43","volume":"12","author":"Li Ziming","year":"1999","unstructured":"Ziming Li and Dongming Wang. Coherent, Regular and Simple Systems in Zero Decompositions of Partial Differential Systems. Systems Science and Mathematical Sciences 12, no. 5 (1999): 43--60.","journal-title":"Systems Science and Mathematical Sciences"},{"key":"e_1_3_2_1_18_1","volume-title":"Klassifikation und Integration von gew\u00f6hnlichen Differential gleichungenzwischen x, y, die eine Gruppe von Transformationen gestatten. III. Archivfor Matematik og Naturvidenskab, 8(4)","author":"Lie Sophus","year":"1883","unstructured":"Sophus Lie. Klassifikation und Integration von gew\u00f6hnlichen Differential gleichungenzwischen x, y, die eine Gruppe von Transformationen gestatten. III. Archivfor Matematik og Naturvidenskab, 8(4), 1883, 371--458. Reprinted in Lie's Gesammelte Abhandlungen, 5, paper XIY, 1924, 362--427."},{"key":"e_1_3_2_1_19_1","volume-title":"Schefferes. Teubner","author":"Lie Sophus","year":"1883","unstructured":"Sophus Lie. Vorlesungen \u00fcber kontinuierliche Gruppen mit geometrischen und anderen Anwendungen. Bearbeitet und herausgegeben von Dr. G. Schefferes. Teubner, Leipzig, 1883."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(90)90244-A"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4350-2"},{"key":"e_1_3_2_1_22_1","volume-title":"Cambridge University Press","author":"Olver Peter","year":"1995","unstructured":"Peter Olver. Equivalence, Invariance and Symmetry. Cambridge University Press, 1995."},{"key":"e_1_3_2_1_23_1","volume-title":"Group Analysis of Differential Equations","author":"Ovsyannikov Lev","year":"1992","unstructured":"Lev Ovsyannikov. Group Analysis of Differential Equations. Academic Press, New York, 1992."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956792500000577"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956792500000589"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11445-3"},{"key":"e_1_3_2_1_27_1","volume-title":"Algorithmic Lie Theory for solving ordinary Differential Equations","author":"Schwarz Oritz","year":"2008","unstructured":"Oritz Schwarz. Algorithmic Lie Theory for solving ordinary Differential Equations.Chapman & HallCRS, Boca Raton, 2008."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1822813"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/34\/13\/316"},{"key":"e_1_3_2_1_30_1","first-page":"452689","article-title":"Linearization of Two Second-Order Ordinary Differential Equations via Fiber Preserving Point Transformations. ISRN Mathematical Analysis","author":"Sookmee Sakka","year":"2011","unstructured":"Sakka Sookmee and Sergey Meleshko. Linearization of Two Second-Order Ordinary Differential Equations via Fiber Preserving Point Transformations. ISRN Mathematical Analysis, Article ID: 452689, 2011.","journal-title":"Article ID"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/021"},{"key":"e_1_3_2_1_32_1","volume-title":"Systems and Roots","author":"Thomas Joseph","year":"1962","unstructured":"Joseph Thomas. Systems and Roots. William Byrd Press, Richmond, 1962."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2012.01.005"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6"}],"event":{"name":"ISSAC '17: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kaiserslautern Germany","acronym":"ISSAC '17"},"container-title":["Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087626","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3087604.3087626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:14Z","timestamp":1750217414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3087604.3087626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,23]]},"references-count":34,"alternative-id":["10.1145\/3087604.3087626","10.1145\/3087604"],"URL":"https:\/\/doi.org\/10.1145\/3087604.3087626","relation":{},"subject":[],"published":{"date-parts":[[2017,7,23]]},"assertion":[{"value":"2017-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}