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

Gerdt, Vladimir P.; Robertz, Daniel

New York, NY : ACM (2010)
Buchbeitrag, Beitrag zu einem Tagungsband

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