Formal Proof of a Wave Equation Resolution Scheme: The Method Error.

Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Browse the full ITP paper archive.