Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems

DOI10.1145/3326229.3326255zbMath1467.35020arXiv1904.12912MaRDI QIDQ5120488

Daniel Robertz, Vladimir P. Gerdt

Publication date: 10 September 2020

Published in: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.12912

zbMATH Keywords

consistency; finite difference approximations; partial differential equations; Thomas decomposition

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

35Q30: Navier-Stokes equations

35A35: Theoretical approximation in context of PDEs

35F50: Systems of nonlinear first-order PDEs