{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:18:02Z","timestamp":1725596282993},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642626845"},{"type":"electronic","value":"9783642566660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-642-56666-0_3","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T14:13:00Z","timestamp":1310998380000},"page":"25-42","source":"Crossref","is-referenced-by-count":2,"title":["A MuPAD Library for Differential Equations"],"prefix":"10.1007","author":[{"given":"Jay","family":"Belanger","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Hausdorf","sequence":"additional","affiliation":[]},{"given":"Werner M.","family":"Seiler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Technical report","volume-title":"The method of modified equations in Maple","author":"MO Ahmed","year":"1997","unstructured":"M.O. Ahmed and R.M. Corless. The method of modified equations in Maple. Technical report, Dept. of Applied Mathematics, University of Western Ontario, London (Canada), 1997."},{"key":"3_CR2","first-page":"1025","volume":"18","author":"GW Bluman","year":"1969","unstructured":"G.W. Bluman and J.D. Cole. The general similarity solution of the heat equation. J. Math. Mech., 18:1025\u20131042, 1969.","journal-title":"J. Math. Mech."},{"key":"3_CR3","unstructured":"J. Calmet, M. Hausdorf, and W.M. Seiler. A constructive introduction to involution. In Proc. Int. Symp. Applications of Computer Algebra-ISACA\u2019 2000. World Scientific, Singapore, to appear."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0010-4655(91)90080-5","volume":"66","author":"B Champagne","year":"1991","unstructured":"B. Champagne, W. Hereman, and P. Winternitz. The computer calculation of Lie point symmetries of large systems of differential equations. Comp. Phys. Comm., 66: 319\u2013340, 1991.","journal-title":"Comp. Phys. Comm."},{"key":"3_CR5","unstructured":"K. Drescher. Axioms, categories and domains. Automath Technical Report No.1, Universit\u00e4t Paderborn, 1996."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1090\/S0025-5718-1988-0935077-0","volume":"51","author":"B Fornberg","year":"1988","unstructured":"B. Fornberg. Generation of finite difference formulas on arbitrary space grids. Math. Comp., 51:699\u2013701, 1988.","journal-title":"Math. Comp."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1137\/S0036144596322507","volume":"40","author":"B Fornberg","year":"1998","unstructured":"B. Fornberg. Calculation of weights in finite difference methods. SIAM Rev., 40:685\u2013691, 1998.","journal-title":"SIAM Rev."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"VP 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":"3_CR9","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/S0747-7171(08)80146-0","volume":"12","author":"DH Hartley","year":"1991","unstructured":"D.H. Hartley and R.W. Tucker. A constructive implementation of the CartanK\u00e4hler theory of exterior differential systems. J. Symb. Comp., 12:655\u2013667, 1991.","journal-title":"J. Symb. Comp."},{"key":"3_CR10","unstructured":"M. Hausdorf. Geometrisch-algebraische Vervollst\u00e4ndigung allgemeiner Systeme von Differentialgleichungen. Master\u2019s Thesis, Universit\u00e4t Karlsruhe, 2000."},{"key":"3_CR11","unstructured":"M. Hausdorf and W.M. Seiler. Differential equations in MuPAD I: An objectoriented environment. Internal Report 2000-17, Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, 2000."},{"key":"3_CR12","unstructured":"M. Hausdorf and W.M. Seiler. An efficient algebraic algorithm for the geometric completion to involution. Preprint Universit\u00e4t Mannheim, 2000."},{"key":"3_CR13","unstructured":"M. Hausdorf and W.M. Seiler. Perturbation versus differentiation indices. This proceedings."},{"key":"3_CR14","volume-title":"CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Development and Computational Methods","author":"W Hereman","year":"1995","unstructured":"W. Hereman. Symbolic software for Lie symmetry analysis. In N.H. Ibragimov, editor, CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Development and Computational Methods, chapter 13. CRC Press, Boca Raton, Florida, 1995."},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0274-2","volume-title":"Applications of Lie Groups to Differential Equations","author":"PJ Olver","year":"1986","unstructured":"P.J. Olver. Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics 107. Springer-Verlag, New York, 1986."},{"key":"3_CR16","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"JF Pommaret","year":"1978","unstructured":"J.F. Pommaret. Systems of Partial Differential Equations and Lie Pseudogroups. Gordon & Breach, London, 1978."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s002000050096","volume":"9","author":"JF Pommaret","year":"1998","unstructured":"J. F. Pommaret and A. Quadrat. Generalized Bezout Identity. Appl. Alg. Eng. Comm. Comp., 9:91\u2013116, 1998.","journal-title":"Appl. Alg. Eng. Comm. Comp."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/0022-247X(92)90269-J","volume":"163","author":"E Pucci","year":"1992","unstructured":"E. Pucci and G. Saccomandi. On the weak symmetry groups of partial differential equations. J. Math. Anal. Appl., 163:588\u2013598, 1992.","journal-title":"J. Math. Anal. Appl."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-94-011-2050-0_36","volume-title":"Proc. Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics","author":"J Sch\u00fc","year":"1993","unstructured":"J. Sch\u00fc, W.M. Seiler, and J. Calmet. Algorithmic methods for Lie pseudogroups. In N. Ibragimov, M. Torrisi, and A. Valenti, editors, Proc. Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, pages 337\u2013344. Kluwer, Dordrecht, 1993."},{"key":"3_CR20","unstructured":"W.M. Seiler. Analysis and Application of the Formal Theory of Partial Differential Equations. PhD thesis, School of Physics and Materials, Lancaster University, 1994."},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0895-7177(97)00059-9","volume":"25","author":"WM Seiler","year":"1997","unstructured":"W.M. Seiler. Involution and symmetry reductions. Math. Comp. Model., 25:63\u201373, 1997.","journal-title":"Math. Comp. Model."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-60218-4_30","volume-title":"Computer Algebra in Scientific Computing-CASC \u201999","author":"WM 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-CASC \u201899, pages 365\u2013385. Springer-Verlag, Berlin, 1999."},{"key":"3_CR23","unstructured":"W.M. Seiler. A combinatorial approach to involution and \u03b4-regularity. Preprint Universit\u00e4t Mannheim, 2000."},{"key":"3_CR24","unstructured":"W.M. Seiler. Completion to involution and semi-discretisations. Appl. Num. Math., to appear, 2001."},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"4431","DOI":"10.1088\/0305-4470\/28\/15\/022","volume":"28","author":"WM Seiler","year":"1995","unstructured":"W.M. Seiler and R.W. Tucker. Involution and constrained dynamics I: The Dirac approach. J. Phys. A, 28:4431\u20134451, 1995.","journal-title":"J. Phys. A"},{"key":"3_CR26","volume-title":"Topics in Multidimensional Linear Systems Theory","author":"E Zerz","year":"2000","unstructured":"E. Zerz. Topics in Multidimensional Linear Systems Theory. Lecture Notes in Control and Information Sciences 256, Springer-Verlag, London, 2000."}],"container-title":["Computer Algebra in Scientific Computing CASC 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-56666-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T03:26:52Z","timestamp":1553916412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-56666-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783642626845","9783642566660"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-56666-0_3","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}