{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:54:35Z","timestamp":1742918075840,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031812439"},{"type":"electronic","value":"9783031812446"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-81244-6_11","type":"book-chapter","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T13:44:37Z","timestamp":1735652677000},"page":"149-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Symbolic-Numerical Approach to\u00a0Index Reduction and\u00a0Solution of\u00a0Differential-Algebraic Equations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5902-4048","authenticated-orcid":false,"given":"Davide","family":"Stocco","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6494-3356","authenticated-orcid":false,"given":"Matteo","family":"Larcher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,1]]},"reference":[{"unstructured":"Carette, J., Zhou, W., Jeffrey, D.J., Monagan, M.B.: Linear algebra using maple\u2019s large expressions package. In: Proceedings of Maple Conference, pp. 14\u201325 (2006)","key":"11_CR1"},{"unstructured":"Char, B.W., Fee, G.J., Geddes, K.O., Gonnet, G.H., Monagan, M.B., Watt, S.M.: On the design and performance of the maple system. Technical report, University of Waterloo. Department of Computer Science (1984)","key":"11_CR2"},{"issue":"6","key":"11_CR3","first-page":"582","volume":"101","author":"D Cox","year":"1994","unstructured":"Cox, D., Little, J., O\u2019Shea, D., Sweedler, M.: Ideals, varieties, and algorithms. Am. Math. Monthly 101(6), 582\u2013586 (1994)","journal-title":"Am. Math. Monthly"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0020-0190(78)90067-4","volume":"7","author":"RA Demillo","year":"1978","unstructured":"Demillo, R.A., Lipton, R.J.: A probabilistic remark on algebraic program testing. Inf. Process. Lett. 7(4), 193\u2013195 (1978)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1137\/0710032","volume":"10","author":"A George","year":"1973","unstructured":"George, A.: Nested dissection of a regular finite element mesh. SIAM J. Numer. Anal. 10(2), 345\u2013363 (1973)","journal-title":"SIAM J. Numer. Anal."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-662-43799-5_19","volume-title":"Computer Mathematics","author":"M Giesbrecht","year":"2014","unstructured":"Giesbrecht, M., Pham, N.: A symbolic approach to compute a null-space basis in the projection method. In: Feng, R., Lee, W., Sato, Y. (eds.) Computer Mathematics, pp. 243\u2013259. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43799-5_19"},{"doi-asserted-by":"crossref","unstructured":"Gonnet, G.H.: Determining equivalence of expressions in random polynomial time. In: Proceedings of the 16th ACM Symposium on Theory of Computing, pp. 334\u2013341 (1984)","key":"11_CR7","DOI":"10.1145\/800057.808698"},{"doi-asserted-by":"crossref","unstructured":"Gonnet, G.H.: New results for random determination of equivalence of expressions. In: Proceedings of the fifth ACM Symposium on Symbolic and Algebraic Computation, pp. 127\u2013131 (1986)","key":"11_CR8","DOI":"10.1145\/32439.32465"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1023\/A:1022344502818","volume":"40","author":"E Hairer","year":"2000","unstructured":"Hairer, E.: Symmetric projection methods for differential equations on manifolds. BIT Numer. Math. 40, 726\u2013734 (2000)","journal-title":"BIT Numer. Math."},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27555-5","volume-title":"Differential-Algebraic Equations: A Projector Based Analysis","author":"R Lamour","year":"2013","unstructured":"Lamour, R., M\u00e4rz, R., Tischendorf, C.: Differential-Algebraic Equations: A Projector Based Analysis. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-27555-5"},{"doi-asserted-by":"crossref","unstructured":"Li, X.S., Demmel, J.W.: Making sparse gaussian elimination scalable by static pivoting. In: SC\u201998: Proceedings of the 1998 ACM\/IEEE Conference on Supercomputing, pp. 34\u201334. IEEE (1998)","key":"11_CR11","DOI":"10.1109\/SC.1998.10030"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1137\/0716027","volume":"16","author":"RJ Lipton","year":"1979","unstructured":"Lipton, R.J., Rose, D.J., Tarjan, R.E.: Generalized nested dissection. SIAM J. Numer. Anal. 16(2), 346\u2013358 (1979)","journal-title":"SIAM J. Numer. Anal."},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1287\/mnsc.3.3.255","volume":"3","author":"HM Markowitz","year":"1957","unstructured":"Markowitz, H.M.: The elimination form of the inverse and its application to linear programming. Manag. Sci. 3(3), 255\u2013269 (1957)","journal-title":"Manag. Sci."},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1137\/0914043","volume":"14","author":"SE Mattsson","year":"1993","unstructured":"Mattsson, S.E., S\u00f6derlind, G.: Index reduction in differential-algebraic equations using dummy derivatives. SIAM J. Sci. Comput. 14(3), 677\u2013692 (1993)","journal-title":"SIAM J. Sci. Comput."},{"doi-asserted-by":"crossref","unstructured":"Monagan, M.B., Gonnet, G.H.: Signature functions for algebraic numbers. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 291\u2013296 (1994)","key":"11_CR15","DOI":"10.1145\/190347.190430"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1137\/0909014","volume":"9","author":"CC Pantelides","year":"1988","unstructured":"Pantelides, C.C.: The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Comput. 9(2), 213\u2013231 (1988)","journal-title":"SIAM J. Sci. Stat. Comput."},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1137\/0903023","volume":"3","author":"L Petzold","year":"1982","unstructured":"Petzold, L.: Differential\/algebraic equations are not ode\u2019s. SIAM J. Sci. Stat. Comput. 3(3), 367\u2013384 (1982)","journal-title":"SIAM J. Sci. Stat. Comput."},{"unstructured":"Rose, D.J.: Symmetric elimination on sparse positive definite systems and the potential flow network problem. Ph.D. thesis, Harvard University (1970)","key":"11_CR18"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/322217.322225","volume":"27","author":"JT Schwartz","year":"1980","unstructured":"Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomial identities. J. ACM (JACM) 27(4), 701\u2013717 (1980)","journal-title":"J. ACM (JACM)"},{"unstructured":"Stocco, D., Enrico, B.: Indigo (2023). https:\/\/github.com\/StoccoDavide\/indigo. Accessed 21 May 2023","key":"11_CR20"},{"unstructured":"Stocco, D., Matteo, L., Enrico, B.: LAST (Linear Algebra Symbolic Toolbox) (2023). https:\/\/github.com\/StoccoDavide\/LAST. Accessed 21 May 2023","key":"11_CR21"},{"unstructured":"Stocco, D., Matteo, L., Enrico, B.: LEM (Large Expression Management) (2023). https:\/\/github.com\/StoccoDavide\/LEM. Accessed 21 May 2023","key":"11_CR22"},{"unstructured":"Thomsen, P.G., Bendtsen, C.: Numerical solution of differential algebraic equations. Technical University of Denmark DK-2800 Lyngby Denmark May 6 (1999)","key":"11_CR23"},{"issue":"8","key":"11_CR24","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/0098-1354(94)00094-5","volume":"19","author":"J Unger","year":"1995","unstructured":"Unger, J., Kr\u00f6ner, A., Marquardt, W.: Structural analysis of differential-algebraic equation systems\u2013theory and applications. Comput. Chem. Eng. 19(8), 867\u2013882 (1995)","journal-title":"Comput. Chem. Eng."},{"doi-asserted-by":"crossref","unstructured":"Wehage, R.A., Haug, E.J.: Generalized coordinate partitioning for dimension reduction in analysis of constrained dynamic systems. J. Mech. Des. 104(1), 247\u2013255 (1982)","key":"11_CR25","DOI":"10.1115\/1.3256318"},{"doi-asserted-by":"crossref","unstructured":"Zhou, W.: Symbolic computation techniques for solving large expression problems from mathematics and engineering. Ph.D. thesis, University of Western Ontario (2007)","key":"11_CR26","DOI":"10.1145\/1358183.1358188"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/11856290_22","volume-title":"Artificial Intelligence and Symbolic Computation","author":"W Zhou","year":"2006","unstructured":"Zhou, W., Carette, J., Jeffrey, D.J., Monagan, M.B.: Hierarchical representations with signatures for large expression management. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol. 4120, pp. 254\u2013268. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11856290_22"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11704-008-0005-z","volume":"2","author":"W Zhou","year":"2008","unstructured":"Zhou, W., Jeffrey, D.J.: Fraction-free matrix factors: new forms for LU and QR factors. Front. Comput. Sci. China 2, 67\u201380 (2008)","journal-title":"Front. Comput. Sci. China"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11499251_4","volume-title":"Computer Algebra and Geometric Algebra with Applications","author":"W Zhou","year":"2005","unstructured":"Zhou, W., Jeffrey, D.J., Reid, G.J., Schmitke, C., McPhee, J.: Implicit reduced involutive forms and their application to engineering multibody systems. In: Li, H., Olver, P.J., Sommer, G. (eds.) GIAE\/IWMM -2004. LNCS, vol. 3519, pp. 31\u201343. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11499251_4"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-09519-5_73","volume-title":"Symbolic and Algebraic Computation","author":"R Zippel","year":"1979","unstructured":"Zippel, R.: Probabilistic algorithms for sparse polynomials. In: Ng, E.W. (ed.) Symbolic and Algebraic Computation. LNCS, vol. 72, pp. 216\u2013226. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/3-540-09519-5_73"}],"container-title":["Lecture Notes in Computer Science","Numerical Computations: Theory and Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-81244-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T14:06:42Z","timestamp":1735654002000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-81244-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031812439","9783031812446"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-81244-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NUMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Numerical Computations: Theory and Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pizzo Calabro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"numta2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.numta.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}