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]
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): 53-59
Identifikationsnummern
- DOI: 10.1145/1837934.1837950
- REPORT NUMBER: RWTH-CONV-194781