AATA References and Suggested Readings

Skip to main content

References 2.9 References and Suggested Readings

[1]

J. Butler, Numerical Analysis for Differential Equations

[2]

L. Rezzolla, Numerical Methods for the Solution of Partial Differential Equations

[3]

D. Rockmore, The FFT - an algorithm the whole family can use, Computing in Science & Engineering 2:1 (2000)

[4]

M. Tekriwal, K. Duraisamy, JB. Jeannin, A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes, NASA Formal Methods. NFM 2021. Lecture Notes in Computer Science, vol 12673 (2021).

web analytics