Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification

New York, NY / ACM (2010) [Contribution to a conference proceedings]

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 ; 25 - 28 July 2010, Munich, Germany / Stephen M. Watt, ed.
Page(s): 53-59

Authors

Selected Authors

Gerdt, Vladimir P.
Robertz, Daniel

Identifier