{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:43:10Z","timestamp":1758591790599,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":32,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JST (Japan Science and Technology Agency) ERATO","award":["JPMJER1903"],"award-info":[{"award-number":["JPMJER1903"]}]},{"name":"JSPS (Japan Society for the Promotion of Science) KAKENHI","award":["JP22K17853"],"award-info":[{"award-number":["JP22K17853"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669685","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"143-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6862-9484","authenticated-orcid":false,"given":"Taihei","family":"Oki","sequence":"first","affiliation":[{"name":"Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-0095-5002","authenticated-orcid":false,"given":"Yujin","family":"Song","sequence":"additional","affiliation":[{"name":"Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(66)90004-4"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"[2]K. E. Brenan S. L. Campbell and L. R. Petzold. 1996. Numerical Solution of Initial-value Problems in Differential-algebraic Equations. SIAM Philadelphia.","DOI":"10.1137\/1.9781611971224"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/0916017"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1021\/ie0341754"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1137\/0215066"},{"key":"e_1_3_2_2_6_1","volume-title":"Control properties of robot arms with joint elasticity. Analysis and Control of Nonlinear Systems","author":"Luca A. De","year":"1988","unstructured":"[6]A. De Luca. 1988. Control properties of robot arms with joint elasticity. Analysis and Control of Nonlinear Systems (1988), 61\u201370."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.6028\/jres.071b.033"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13160-020-00413-3"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05221-7"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/tcs.1975.1084079"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/090781231"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-003-1022-9"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341499"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914043"},{"key":"e_1_3_2_2_15_1","unstructured":"[15] Francesca Mazzia and Cecilia Magherini. 2008. Test set for initial value problem solvers. Technical Report Department of Mathematics University of Bari."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf03167048"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/0219077"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/s0097539791201897"},{"volume-title":"Matrices and Matroids for Systems Analysis","author":"Murota Kazuo","key":"e_1_3_2_2_19_1","unstructured":"[19]Kazuo Murota. 2009. Matrices and Matroids for Systems Analysis. Springer, Berlin."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/drab094"},{"key":"e_1_3_2_2_21_1","first-page":"116","article-title":"Gr\u00e1fok \u00e9s m\u00e1trixok. Mat. \u00e9s Fiz","volume":"38","author":"K\u00f6nig D\u00e9nes","year":"1931","unstructured":"[21] D\u00e9nes K\u00f6nig. 1931. Gr\u00e1fok \u00e9s m\u00e1trixok. Mat. \u00e9s Fiz. Lapok 38 (1931), 116\u2013119.","journal-title":"Lapok"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/bf02585470"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0909014"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021998624799"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60218-4_30"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/130909214"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-017-0655-z"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(94)00094-5"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/DCABES.2013.36"},{"key":"e_1_3_2_2_31_1","unstructured":"[31] Wenqiang Yang Wenyuan Wu and Greg Reid. 2022. Index Reduction for Degenerated Differential-Algebraic Equations by Embedding. arXiv:2210.16707. Retrieved from https:\/\/arxiv.org\/abs\/2210.16707"},{"volume-title":"Retrieved","year":"2021","key":"e_1_3_2_2_32_1","unstructured":"[32] Optimist-Tokyo. 2021. DAEPreprocessingToolbox: MATLAB toolbox for preprocessing of differential-algebraic equations (DAEs). Retrieved December 27, 2022 from https:\/\/github.com\/OptMist-Tokyo\/DAEPreprocessingToolbox"}],"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.3669685","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:53:06Z","timestamp":1758588786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":32,"alternative-id":["10.1145\/3666000.3669685","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669685","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"}}]}}