Consistency of finite difference approximations for linear PDE systems and its algorithmic verification

DOI10.1145/1837934.1837950zbMath1321.65161OpenAlexW1974863326MaRDI QIDQ2946520

Daniel Robertz, Vladimir P. Gerdt

Publication date: 17 September 2015

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

Full work available at URL: https://doi.org/10.1145/1837934.1837950

zbMATH Keywords

Gröbner basisconsistencyapplicationsfinite difference schemespartial differential equationsinvolutive algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Finite difference methods for boundary value problems involving PDEs (65N06) Solutions to PDEs in closed form (35C05)

Related Items (7)

Investigation of difference schemes for two-dimensional Navier-Stokes equations by using computer algebra algorithms ⋮ Discretization of quasilinear evolution equations by computer algebra methods ⋮ Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals ⋮ Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations ⋮ On the consistency analysis of finite difference approximations ⋮ Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow ⋮ A new type of difference dimension polynomials

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces

This page was built for publication: Consistency of finite difference approximations for linear PDE systems and its algorithmic verification