Vladimir P. Gerdt, Daniel Robertz. Consistency of finite difference approximations for linear PDE systems and its algorithmic verification. In Wolfram Koepf, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings. pages 53-59, ACM, 2010. [doi]
Abstract is missing.