Sciweavers

ITP
2010
118views Mathematics» more  ITP 2010»
14 years 3 months ago
Formal Proof of a Wave Equation Resolution Scheme: The Method Error
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
Sylvie Boldo, François Clément, Jean...