{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T17:18:53Z","timestamp":1720891133751},"reference-count":41,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1016\/j.jsc.2016.03.002","type":"journal-article","created":{"date-parts":[[2016,3,30]],"date-time":"2016-03-30T04:15:20Z","timestamp":1459311320000},"page":"482-498","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"special_numbering":"P2","title":["Algorithmic calculus for Lie determining systems"],"prefix":"10.1016","volume":"79","author":[{"given":"Ian G.","family":"Lisle","sequence":"first","affiliation":[]},{"given":"S.-L. Tracy","family":"Huang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2016.03.002_br0010","series-title":"An Introduction to Gr\u00f6bner Bases","author":"Adams","year":"1994"},{"key":"10.1016\/j.jsc.2016.03.002_br0020","doi-asserted-by":"crossref","DOI":"10.1063\/1.3676296","article-title":"New symbolic tools for differential geometry, gravitation, and field theory","volume":"53","author":"Anderson","year":"2012","journal-title":"J. Math. Phys."},{"key":"10.1016\/j.jsc.2016.03.002_br0030","unstructured":"Bernardin, L., et al., 2013. Maple Programming Guide. Maplesoft."},{"key":"10.1016\/j.jsc.2016.03.002_br0040","series-title":"Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing","first-page":"31","article-title":"The MAPLE package Janet: I. Polynomial systems","author":"Blinkov","year":"2003"},{"key":"10.1016\/j.jsc.2016.03.002_br0050","series-title":"Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing","first-page":"41","article-title":"The MAPLE package Janet: II. Linear partial differential equations","author":"Blinkov","year":"2003"},{"key":"10.1016\/j.jsc.2016.03.002_br0060","series-title":"Symmetry and Integration Methods for Differential Equations","author":"Bluman","year":"2002"},{"key":"10.1016\/j.jsc.2016.03.002_br0070","series-title":"Applications of Symmetry Methods to Partial Differential Equations","author":"Bluman","year":"2010"},{"key":"10.1016\/j.jsc.2016.03.002_br0080","series-title":"Proc. ISSAC '95","first-page":"158","article-title":"Representation for the radical of a finitely generated differential ideal","author":"Boulier","year":"1995"},{"key":"10.1016\/j.jsc.2016.03.002_br0090","series-title":"New symmetries from old: exploiting Lie algebra structure to determine infinitesimal symmetries of differential equations","author":"Boulton","year":"1993"},{"key":"10.1016\/j.jsc.2016.03.002_br0100","series-title":"Lie Groups and Lie Algebras: Chapters 1\u20133","author":"Bourbaki","year":"1989"},{"key":"10.1016\/j.jsc.2016.03.002_br0110","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1006\/jsco.1999.0299","article-title":"Symbolic computation and differential equations: Lie symmetries","volume":"29","author":"Carminati","year":"2000","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2016.03.002_br0120","series-title":"Ring Theory And Algebraic Geometry","first-page":"133","article-title":"An introduction to Janet bases and Gr\u00f6bner bases","author":"Castro-Jim\u00e9nez","year":"2001"},{"key":"10.1016\/j.jsc.2016.03.002_br0130","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.cpc.2006.08.001","article-title":"GeM software package for computation of symmetries and conservation laws of differential equations","volume":"176","author":"Cheviakov","year":"2007","journal-title":"Comput. Phys. Commun."},{"key":"10.1016\/j.jsc.2016.03.002_br0140","series-title":"Using Algebraic Geometry","author":"Cox","year":"2005"},{"key":"10.1016\/j.jsc.2016.03.002_br0150","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1017\/S0027763000011508","article-title":"Homomorphisms of continuous pseudogroups","volume":"25","author":"D'Atri","year":"1965","journal-title":"Nagoya Math. J."},{"key":"10.1016\/j.jsc.2016.03.002_br0160","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0022-4049(00)00146-8","article-title":"Recognizing the symmetry type of O.D.E.s","volume":"164","author":"Draisma","year":"2001","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.jsc.2016.03.002_br0170","series-title":"Computer Algebra in Scientific Computing","first-page":"115","article-title":"Completion of linear differential systems to involution","author":"Gerdt","year":"1999"},{"key":"10.1016\/j.jsc.2016.03.002_br0180","series-title":"Lie Groups, Lie Algebras, and Some of Their Applications","author":"Gilmore","year":"2005"},{"key":"10.1016\/j.jsc.2016.03.002_br0190","series-title":"Lie Algebras: Theory and Algorithms","author":"de Graaf","year":"2000"},{"key":"10.1016\/j.jsc.2016.03.002_br0200","series-title":"Lie Algebras","author":"Jacobson","year":"1962"},{"key":"10.1016\/j.jsc.2016.03.002_br0210","series-title":"Symmetries and Conservation Laws for Differential Equations of Mathematical Physics","year":"1999"},{"key":"10.1016\/j.jsc.2016.03.002_br0220","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1017\/S0027763000011351","article-title":"Quotients of pseudo groups by invariant fiberings","volume":"24","author":"Kuranishi","year":"1964","journal-title":"Nagoya Math. J."},{"key":"10.1016\/j.jsc.2016.03.002_br0230","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/S0747-7171(03)00017-8","article-title":"An orderly linear PDE system with analytic initial conditions with a non-analytic solution","volume":"35","author":"Lemaire","year":"2003","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2016.03.002_br0240","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1006\/jsco.1998.0218","article-title":"Geometry and structure of Lie pseudogroups from infinitesimal defining systems","volume":"26","author":"Lisle","year":"1998","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2016.03.002_br0250","series-title":"Proceedings of the 2014 Symposium on Symbolic-Numeric Computation","first-page":"61","article-title":"Structure of symmetry of PDE: exploiting partially integrated systems","author":"Lisle","year":"2014"},{"key":"10.1016\/j.jsc.2016.03.002_br0260","series-title":"Differential Gr\u00f6bner bases","author":"Mansfield","year":"1991"},{"key":"10.1016\/j.jsc.2016.03.002_br0270","series-title":"Application of Lie Groups to Differential Equations","author":"Olver","year":"1993"},{"key":"10.1016\/j.jsc.2016.03.002_br0280","first-page":"77","article-title":"On the structure of Lie pseudo-groups","volume":"5","author":"Olver","year":"2009","journal-title":"SIGMA"},{"key":"10.1016\/j.jsc.2016.03.002_br0290","series-title":"Group Analysis of Differential Equations","author":"Ovsiannikov","year":"1982"},{"key":"10.1016\/j.jsc.2016.03.002_br0300","series-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"Pommaret","year":"1978"},{"key":"10.1016\/j.jsc.2016.03.002_br0310","series-title":"Proc. ISSAC '92","first-page":"63","article-title":"Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs","author":"Reid","year":"1992"},{"key":"10.1016\/j.jsc.2016.03.002_br0320","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1017\/S0956792500002618","article-title":"Reduction of systems of nonlinear partial differential equations to simplified involutive forms","volume":"7","author":"Reid","year":"1996","journal-title":"Eur. J. Appl. Math."},{"key":"10.1016\/j.jsc.2016.03.002_br0330","series-title":"Les Syst\u00e9mes d'\u00c9quations aux d\u00c9riv\u00e9es Partielles","author":"Riquier","year":"1910"},{"key":"10.1016\/j.jsc.2016.03.002_br0340","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/j.cpc.2010.09.021","article-title":"[SADE]: A Maple package for the symmetry analysis of differential equations","volume":"182","author":"Rocha Filho","year":"2011","journal-title":"Comput. Phys. Commun."},{"key":"10.1016\/j.jsc.2016.03.002_br0350","series-title":"Proc. ISSAC '97","first-page":"9","article-title":"Rankings of partial derivatives","author":"Rust","year":"1997"},{"key":"10.1016\/j.jsc.2016.03.002_br0360","series-title":"Proc. ISSAC '99","first-page":"105","article-title":"Existence and uniqueness theorems for formal power series solutions of analytic differential systems","author":"Rust","year":"1999"},{"key":"10.1016\/j.jsc.2016.03.002_br0370","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02238743","article-title":"An algorithm for determining the size of symmetry groups","volume":"49","author":"Schwarz","year":"1992","journal-title":"Computing"},{"key":"10.1016\/j.jsc.2016.03.002_br0380","series-title":"Proc. ISSAC '92","first-page":"49","article-title":"Reduction and completion algorithms for partial differential equations","author":"Schwarz","year":"1992"},{"key":"10.1016\/j.jsc.2016.03.002_br0390","series-title":"Algorithmic Lie Theory for Solving Ordinary Differential Equations","author":"Schwarz","year":"2008"},{"key":"10.1016\/j.jsc.2016.03.002_br0400","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02787690","article-title":"The infinite groups of Lie and Cartan Part I, (The transitive groups)","volume":"15","author":"Singer","year":"1965","journal-title":"J. Anal. Math."},{"key":"10.1016\/j.jsc.2016.03.002_br0410","series-title":"Lie's Structural Approach to PDE Systems","author":"Stormark","year":"2000"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717116300025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717116300025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T01:37:56Z","timestamp":1614562676000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717116300025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":41,"alternative-id":["S0747717116300025"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2016.03.002","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Algorithmic calculus for Lie determining systems","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2016.03.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}