TY  - RPRT
TI  - Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
AU  - Jonathan Gorard
AU  - Ammar Hakim
PY  - 2025
UR  - https://arxiv.org/abs/2503.13877
ID  - 2503.13877
ER  -