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

Vladimir P. Gerdt, Daniel Robertz

Browse the full ISSAC paper archive.