Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers

Jonathan Gorard, Ammar Hakim

First-order systems of hyperbolic partial differential equations (PDEs) occur ubiquitously throughout computational physics, commonly used in simulations of fluid turbulence, shock…