{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:51:16Z","timestamp":1775055076308,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319022963","type":"print"},{"value":"9783319022970","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02297-0_4","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:37:38Z","timestamp":1376480258000},"page":"46-60","source":"Crossref","is-referenced-by-count":10,"title":["On Consistency of Finite Difference Approximations to the Navier-Stokes Equations"],"prefix":"10.1007","author":[{"given":"Pierluigi","family":"Amodio","sequence":"first","affiliation":[]},{"given":"Yuri","family":"Blinkov","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Gerdt","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"La Scala","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01287-7","volume-title":"Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra","author":"W.M. Seiler","year":"2010","unstructured":"Seiler, W.M.: Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and Computation in Mathematics, vol.\u00a024. Springer, Heidelberg (2010)"},{"key":"4_CR2","doi-asserted-by":"crossref","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, Norwell (2001)"},{"key":"4_CR3","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\u2013Stokes Equations. Int. J. Numer. Meth.\u00a07, 1111\u20131145 (1987)","journal-title":"Int. J. Numer. Meth."},{"key":"4_CR4","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":"4_CR5","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":"4_CR6","first-page":"53","volume-title":"Proc. ISSAC 2010","author":"V.P. Gerdt","year":"2010","unstructured":"Gerdt, V.P., Robertz, D.: Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification. In: Watt, S.M. (ed.) Proc. ISSAC 2010, pp. 53\u201359. Association for Computing Machinery, New York (2010)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Levin, A.: Difference Algebra, vol.\u00a08. Springer (2008)","DOI":"10.1007\/978-1-4020-6947-5"},{"key":"4_CR8","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":"4_CR9","unstructured":"La Scala, R.: Gr\u00f6bner Bases and Gradings for Partial Difference Ideals. arXiv:math.RA\/1112.2065"},{"key":"4_CR10","unstructured":"Gerdt, V., La Scala, R.: Noetherian Quotient of the Algebra of Partial Difference Polynomials and Gr\u00f6bner Bases of Symmetric Ideals. arXiv:math.AC\/1304.7967"},{"key":"4_CR11","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":"4_CR12","unstructured":"Gerdt, V.P., Blinkov, Y.A., Mozzhilkin, V.V.: Gr\u00f6bner Bases and Generation of Difference Schemes for Partial Differential Equations. SIGMA 2, 051 (2006); arXiv:math.RA\/0605334"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-28212-6_3","volume-title":"Mathematical Modeling and Computational Science","author":"V.P. Gerdt","year":"2012","unstructured":"Gerdt, V.P.: Consistency Analysis of Finite Difference Approximations to PDE Systems. In: Adam, G., Bu\u0161a, J., Hnati\u010d, M. (eds.) MMCP 2011. LNCS, vol.\u00a07125, pp. 28\u201342. Springer, Heidelberg (2012)"},{"key":"#cr-split#-4_CR14.1","unstructured":"Pearson, C.E.: A computational method for time dependent two dimensional incompressible viscous flow problems. Sperry-Rand Research Center, Sudbury, Mass., Report No. SRRC-RR-64-17 (1964)"},{"key":"#cr-split#-4_CR14.2","unstructured":"Chorin, A.J.: The Numerical Solution of the Navier-Stokes Equations for an Incompressible Fluid. AEC Research and Development Report, NYO-1480-82, New York University, New York (1967)"},{"key":"4_CR15","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\u2019Shea, D.: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)","edition":"3"},{"key":"4_CR16","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":"4_CR17","unstructured":"Trushin, D.V.: Difference Nullstellensatz. arXiv:math.AC\/0908.3865"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1016\/j.jsc.2011.12.043","volume":"47","author":"T. B\u00e4chler","year":"2012","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algebraic Thomas Decomposition of Algebraic and Differential Systems. J. Symb. Comput.\u00a047, 1233\u20131266 (2012); arXiv:math.AC\/1108.0817","journal-title":"J. Symb. Comput."},{"key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97651-3","volume-title":"Computational Methods for Fluid Dynamics","author":"J.H. Ferziger","year":"1996","unstructured":"Ferziger, J.H., Peric, M.: Computational Methods for Fluid Dynamics. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02297-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T16:30:47Z","timestamp":1558024247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02297-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319022963","9783319022970"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02297-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}