{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:27:47Z","timestamp":1776842867465,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540405542","type":"print"},{"value":"9783540450849","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/3-540-45084-x_6","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:05:12Z","timestamp":1183478712000},"page":"152-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the Numerical Analysis of Overdetermined Linear Partial Differential Systems"],"prefix":"10.1007","author":[{"given":"Marcus","family":"Hausdorf","sequence":"first","affiliation":[]},{"given":"Werner M.","family":"Seiler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-642-56666-0_3","volume-title":"Computer Algebra in Scientific Computing \u2014 CASC 2001","author":"J. Belanger","year":"2001","unstructured":"J. Belanger, M. Hausdorf, and W.M. Seiler. A MuPAD library for differential equations. In V.G. Ghanza, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific Computing \u2014 CASC 2001, pages 25\u201342. Springer-Verlag, Berlin, 2001."},{"key":"6_CR2","series-title":"Classics in Applied Mathematics","volume-title":"Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations","author":"K.E. Brenan","year":"1996","unstructured":"K.E. Brenan, S.L. Campbell, and L.R. Petzold. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Classics in Applied Mathematics 14. SIAM, Philadelphia, 1996."},{"key":"6_CR3","first-page":"33","volume-title":"Proc. Int. Symp. Applications of Computer Algebra \u2014 ISACA 2000","author":"J. Calmet","year":"2001","unstructured":"J. Calmet, M. Hausdorf, and W.M. Seiler. A constructive introduction to involution. In R. Akerkar, editor, Proc. Int. Symp. Applications of Computer Algebra \u2014 ISACA 2000, pages 33\u201350. Allied Publishers, New Delhi, 2001."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s002110050165","volume":"72","author":"S.L. Campbell","year":"1995","unstructured":"S.L. Campbell and C.W. Gear. The index of general nonlinear DAEs. Numer. Math., 72:173\u2013196, 1995.","journal-title":"Numer. Math."},{"key":"6_CR5","first-page":"1","volume":"1","author":"S.L. Campbell","year":"1996","unstructured":"S.L. Campbell and W. Marszalek. The index of an infinite dimensional implicit system. Math. Model. Syst., 1:1\u201325, 1996.","journal-title":"Math. Model. Syst."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V.P. Gerdt","year":"1998","unstructured":"V.P. Gerdt and Yu.A. Blinkov. Involutive bases of polynomial ideals. Math. Comp. Simul., 45: 519\u2013542, 1998.","journal-title":"Math. Comp. Simul."},{"key":"6_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0093947","volume-title":"The Numerical Solution of Differential-Algebraic Equations by Runge-Kutta Methods","author":"E. Hairer","year":"1989","unstructured":"E. Hairer, C. Lubich, and M. Roche. The Numerical Solution of Differential-Algebraic Equations by Runge-Kutta Methods. Lecture Notes in Mathematics 1409. Springer-Verlag, Berlin, 1989."},{"key":"6_CR8","series-title":"Springer Series in Computational Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-05221-7","volume-title":"Solving Ordinary Differential Equations II","author":"E. Hairer","year":"1996","unstructured":"E. Hairer and G. Wanner. Solving Ordinary Differential Equations II. Springer Series in Computational Mathematics 14. Springer-Verlag, Berlin, 1996."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s002000200099","volume":"13","author":"M. Hausdorf","year":"2002","unstructured":"M. Hausdorf and W.M. Seiler. An efficient algebraic algorithm for the geometric completion to involution. Appl. Alg. Eng. Comm. Comp., 13:163\u2013207, 2002.","journal-title":"Appl. Alg. Eng. Comm. Comp."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-3-642-56666-0_24","volume-title":"Computer Algebra in Scientific Computing \u2014 CASC 2001","author":"M. Hausdorf","year":"2001","unstructured":"M. Hausdorf and W.M. Seiler. Perturbation versus differentiation indices. In V.G. Ghanza, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific Computing \u2014 CASC 2001, pages 323\u2013337. Springer-Verlag, Berlin, 2001."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1006\/jcph.1996.0082","volume":"125","author":"B.N. Jiang","year":"1996","unstructured":"B.N. Jiang, J. Wu, and L.A. Povelli. The origin of spurious solutions in computational electrodynamics. J. Comp. Phys., 125:104\u2013123, 1996.","journal-title":"J. Comp. Phys."},{"key":"6_CR12","series-title":"Pure and Applied Mathematics","volume-title":"Initial-Boundary Value Problems and the Navier-Stokes Equations","author":"H.-O. Kreiss","year":"1989","unstructured":"H.-O. Kreiss and J. Lorenz. Initial-Boundary Value Problems and the Navier-Stokes Equations. Pure and Applied Mathematics 136. Academic Press, Boston, 1989."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0377-0427(94)90080-9","volume":"56","author":"P. Kunkel","year":"1994","unstructured":"P. Kunkel and V. Mehrmann. Canonical forms for linear differential-algebraic equations with variable coefficients. J. Comp. Appl. Math., 56:225\u2013251, 1994.","journal-title":"J. Comp. Appl. Math."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1019114708983","volume":"19","author":"G. Le Vey","year":"1998","unstructured":"G. Le Vey. Some remarks on solvability and various indices for implicit differential equations. Num. Algo., 19:127\u2013145, 1998.","journal-title":"Num. Algo."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1023\/A:1022370703243","volume":"39","author":"W. Lucht","year":"1999","unstructured":"W. Lucht, K. Strehmel, and C. Eichler-Liebenow. Indexes and special discretization methods for linear partial differential algebraic equations. BIT, 39:484\u2013512, 1999.","journal-title":"BIT"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1019162624913","volume":"19","author":"Y.O. Macutan","year":"1998","unstructured":"Y.O. Macutan and G. Thomas. Theory of formal integrability and DAEs: Effective computations. Num. Algo., 19:147\u2013157, 1998.","journal-title":"Num. Algo."},{"key":"6_CR17","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"J.F. Pommaret","year":"1978","unstructured":"J.F. Pommaret. Systems of Partial Differential Equations and Lie Pseudogroups. Gordon & Breach, London, 1978."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1006\/jdeq.1994.1046","volume":"109","author":"P.J. Rabier","year":"1994","unstructured":"P.J. Rabier and W.C. Rheinboldt. A geometric treatment of implicit differential algebraic equations. J. Diff. Eq., 109:110\u2013146, 1994.","journal-title":"J. Diff. Eq."},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF01187550","volume":"10","author":"S. Reich","year":"1991","unstructured":"S. Reich. On an existence and uniqueness theory for nonlinear differential-algebraic equations. Circ. Sys. Sig. Proc., 10:343\u2013359, 1991.","journal-title":"Circ. Sys. Sig. Proc."},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-9590.00159","volume":"106","author":"G.J. Reid","year":"2001","unstructured":"G.J. Reid, P. Lin, and A.D. Wittkopf. Differential elimination-completion algorithms for DAE and PDAE. Stud. Appl. Math., 106:1\u201345, 2001.","journal-title":"Stud. Appl. Math."},{"key":"6_CR21","series-title":"Texts in Applied Mathematics","volume-title":"An Introduction to Partial Differential Equations","author":"M. Renardy","year":"1993","unstructured":"M. Renardy and R.C. Rogers. An Introduction to Partial Differential Equations. Texts in Applied Mathematics 13. Springer-Verlag, New York, 1993."},{"key":"6_CR22","first-page":"365","volume-title":"Computer Algebra in Scientific Computing \u2014 CASC 1999","author":"W.M. Seiler","year":"1999","unstructured":"W.M. Seiler. Indices and solvability for general systems of differential equations. In V.G. Ghanza, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific Computing \u2014 CASC 1999, pages 365\u2013385. Springer-Verlag, Berlin, 1999."},{"key":"6_CR23","unstructured":"W.M. Seiler. Involution \u2014 the formal theory of differential equations and its applications in computer algebra and numerical analysis. Habilitation thesis, Dept. of Mathematics, Universit\u00e4t Mannheim, 2001."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0168-9274(01)00166-0","volume":"42","author":"W.M. Seiler","year":"2002","unstructured":"W.M. Seiler. Completion to involution and semi-discretisations. Appl. Num. Math., 42:437\u2013451, 2002.","journal-title":"Appl. Num. Math."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1093\/imanum\/20.4.561","volume":"20","author":"J. Tuomela","year":"2000","unstructured":"J. Tuomela and T. Arponen. On the numerical solution of involutive ordinary differential systems. IMA J. Num. Anal., 20:561\u2013599, 2000.","journal-title":"IMA J. Num. Anal."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Numerical Scientific Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45084-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T18:30:06Z","timestamp":1675189806000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45084-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405542","9783540450849"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45084-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}