{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:46:23Z","timestamp":1776843983995,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642282119","type":"print"},{"value":"9783642282126","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28212-6_3","type":"book-chapter","created":{"date-parts":[[2012,2,17]],"date-time":"2012-02-17T02:23:16Z","timestamp":1329445396000},"page":"28-42","source":"Crossref","is-referenced-by-count":12,"title":["Consistency Analysis of Finite Difference Approximations to PDE Systems"],"prefix":"10.1007","author":[{"given":"Vladimir P.","family":"Gerdt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-15274-0_4","volume-title":"Computer Algebra in Scientific Computing","author":"T. B\u00e4chler","year":"2010","unstructured":"B\u00e4chler, T., Gerdt, V.P., Lange-Hegermann, M., Robertz, D.: Thomas Decomposition of Algebraic and Differential Systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol.\u00a06244, pp. 31\u201354. Springer, Heidelberg (2010)"},{"key":"3_CR2","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol.\u00a0141. Springer, New York (1993)"},{"key":"3_CR3","unstructured":"Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The MAPLE Package Janet: II. Linear Partial Differential Equations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, pp. 41\u201354. Technische Universit\u00e4t M\u00fcnchen (2003), \n                    \n                      http:\/\/wwwb.math.rwth-aachen.de\/Janet"},{"key":"3_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D. Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shie, D.: Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)","edition":"3"},{"key":"3_CR5","unstructured":"Dorodnitsyn, V.: The Group Properties of Difference Equations. Moscow, Fizmatlit (2001) (in Russian)"},{"key":"3_CR6","first-page":"115","volume-title":"CASC 1999. Computer Algebra in Scientific Computing \/ CASC 1999","author":"V.P. Gerdt","year":"1999","unstructured":"Gerdt, V.P.: Completion of Linear Differential Systems to Involution. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 1999. Computer Algebra in Scientific Computing \/ CASC 1999, pp. 115\u2013137. Springer, Berlin (1999) arXiv:math.AP\/9909114"},{"key":"3_CR7","first-page":"199","volume-title":"Computational Commutative and Non-Commutative Algebraic Geometry","author":"V.P. Gerdt","year":"2005","unstructured":"Gerdt, V.P.: Involutive Algorithms for Computing Gr\u00f6bner Bases. In: Cojocaru, S., Pfister, G., Ufnarovsky, V. (eds.) Computational Commutative and Non-Commutative Algebraic Geometry, pp. 199\u2013225. IOS Press, Amsterdam (2005) arXiv:math.AC\/0501111"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10440-008-9202-x","volume":"101","author":"V.P. Gerdt","year":"2008","unstructured":"Gerdt, V.P.: On Decomposition of Algebraic PDE Systems into Simple Subsystems. Acta Appl. Math.\u00a0101, 39\u201351 (2008)","journal-title":"Acta Appl. Math."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V.P. Gerdt","year":"1998","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive Bases of Polynomial Ideals. Math. Comput. Simulat.\u00a045, 519\u2013542 (1998) arXiv:math.AC\/9912027","journal-title":"Math. Comput. Simulat."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-04103-7_10","volume-title":"Computer Algebra in Scientific Computing","author":"V.P. Gerdt","year":"2009","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involution and Difference Schemes for the Navier\u2013Stokes Equations. In: Gerdt, V.P., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2009. LNCS, vol.\u00a05743, pp. 94\u2013105. Springer, Heidelberg (2009)"},{"key":"3_CR11","first-page":"51","volume":"2","author":"V.P. Gerdt","year":"2006","unstructured":"Gerdt, V.P., Blinkov, Y.A., Mozzhilkin, V.V.: Gr\u00f6bner Bases and Generation of Difference Schemes for Partial Differential Equations. SIGMA\u00a02, 051 (2006) arXiv:math.RA\/0605334","journal-title":"SIGMA"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.nima.2005.11.171","volume":"559","author":"V.P. Gerdt","year":"2006","unstructured":"Gerdt, V.P., Robertz, D.: A Maple Package for Computing Gr\u00f6bner Bases for Linear Recurrence Relations. Nucl. Instrum. Methods\u00a0559(1), 215\u2013219 (2006) arXiv:cs.SC\/0509070, \n                    \n                      http:\/\/wwwb.math.rwth-aachen.de\/Janet","journal-title":"Nucl. Instrum. Methods"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Robertz, D.: Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification. In: Watt, S.M. (ed.) Proceedings of ISSAC 2010, pp. 53\u201359. Association for Computing Machinery (2010)","DOI":"10.1145\/1837934.1837950"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-45084-X_2","volume-title":"Symbolic and Numerical Scientific Computation","author":"E. Hubert","year":"2003","unstructured":"Hubert, E.: Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems. In: Winkler, F., Langer, U. (eds.) SNSC 2001. LNCS, vol.\u00a02630, pp. 40\u201387. Springer, Heidelberg (2003)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1002\/fld.1650071008","volume":"7","author":"P.M. Gresho","year":"1987","unstructured":"Gresho, P.M., Sani, R.L.: On Pressure Boundary Conditions for the Incompressible Navier-Stokes Equations. Int. J. Numer. Meth. Fl.\u00a07, 1111\u20131145 (1987)","journal-title":"Int. J. Numer. Meth. Fl."},{"key":"3_CR16","unstructured":"Janet, M.: Le\u00e7ons sur les Syst\u00e8mes d\u2019Equations aux D\u00e9riv\u00e9es Partielles. Cahiers Scientifiques, IV. Gauthier-Villars, Paris (1929)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/0021-9991(85)90148-2","volume":"59","author":"J. Kim","year":"1985","unstructured":"Kim, J., Moin, P.: Application of a Fractional-Step Method To Imcompressible Navier-Stokes Equations. J. Comput. Phys.\u00a059, 308\u2013323 (1985)","journal-title":"J. Comput. Phys."},{"key":"3_CR18","unstructured":"La Scala, R., Levandovskyy, V.: Skew Polynomila Rings, Gr\u00f6bner Bases and The Letterplace Embedding of the Free Associative Algebra, arXiv:math.RA\/0230289"},{"key":"3_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6947-5","volume-title":"Difference Algebra. Algebra and Applications","author":"A. Levin","year":"2008","unstructured":"Levin, A.: Difference Algebra. Algebra and Applications, vol.\u00a08. Springer, Heidelberg (2008)"},{"key":"3_CR20","first-page":"123","volume-title":"Numerical and Symbolic Scientific Computing: Progress and Prospects","author":"B. Martin","year":"2012","unstructured":"Martin, B., Levandovskyy, V.: Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations. In: Langer, U., Paule, P. (eds.) Numerical and Symbolic Scientific Computing: Progress and Prospects, pp. 123\u2013156. Springer, Wien (2012)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-54195-0_60","volume-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","author":"F. Ollivier","year":"1991","unstructured":"Ollivier, F.: Standard Bases of Differential Ideals. In: Sakata, S. (ed.) AAECC 1990. LNCS, vol.\u00a0508, pp. 304\u2013321. Springer, Heidelberg (1991)"},{"key":"3_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3323-5","volume-title":"Fluid Dynamics: Theory, Computation and Numerical Simulation","author":"C. Pozrikidis","year":"2001","unstructured":"Pozrikidis, C.: Fluid Dynamics: Theory, Computation and Numerical Simulation. Kluwer, Amsterdam (2001)"},{"key":"3_CR23","volume-title":"Nonlinear Equivalence, Reduction of PDEs to ODEs and Fast Convergent Numerical Methods","author":"E.E. Rosinger","year":"1983","unstructured":"Rosinger, E.E.: Nonlinear Equivalence, Reduction of PDEs to ODEs and Fast Convergent Numerical Methods. Pitman, London (1983)"},{"key":"3_CR24","doi-asserted-by":"publisher","DOI":"10.1201\/9780203908518","volume-title":"Theory of Difference Schemes","author":"A.A. Samarskii","year":"2001","unstructured":"Samarskii, A.A.: Theory of Difference Schemes. Marcel Dekker, New York (2001)"},{"key":"3_CR25","volume-title":"Algorithms and Computation in Mathematics","author":"W.M. Seiler","year":"2010","unstructured":"Seiler, W.M.: Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra. In: Algorithms and Computation in Mathematics, vol.\u00a024. Springer, Heidelberg (2010)"},{"key":"3_CR26","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717938","volume-title":"Finite Difference Schemes and Partial Differential Equations","author":"J.C. Strikwerda","year":"2004","unstructured":"Strikwerda, J.C.: Finite Difference Schemes and Partial Differential Equations, 2nd edn. SIAM, Philadelphia (2004)","edition":"2"},{"key":"#cr-split#-3_CR27.1","doi-asserted-by":"crossref","unstructured":"Thomas, J.M.: Differential Systems. AMS Colloquium Publications XX1 (1937)","DOI":"10.1090\/coll\/021"},{"key":"#cr-split#-3_CR27.2","unstructured":"Systems and Roots. The Wylliam Byrd Press, Rychmond, Virginia (1962)"},{"key":"3_CR28","volume-title":"Numerical Partial Differential Equations: Finite Difference Methods","author":"J.W. Thomas","year":"1998","unstructured":"Thomas, J.W.: Numerical Partial Differential Equations: Finite Difference Methods, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"3_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0569-2","volume-title":"Numerical Partial Differential Equations: Conservation Laws and Elliptic Equations","author":"J.W. Thomas","year":"1999","unstructured":"Thomas, J.W.: Numerical Partial Differential Equations: Conservation Laws and Elliptic Equations. Springer, New York (1999)"},{"key":"3_CR30","unstructured":"Trushin, D.V.: Difference Nullstellensatz, arXiv:math.AC\/0908.3865"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Zobnin, A.: Admissible Orderings and Finiteness Criteria for Differential Standard Bases. In: Kauers, M. (ed.) Proceedings of ISSAC 2005, pp. 365\u2013372. Association for Computing Machinery (2010)","DOI":"10.1145\/1073884.1073935"}],"container-title":["Lecture Notes in Computer Science","Mathematical Modeling and Computational Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28212-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:50:10Z","timestamp":1556391010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28212-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642282119","9783642282126"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28212-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}