Login / Signup
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Sylvie Boldo
François Clément
Jean-Christophe Filliâtre
Micaela Mayero
Guillaume Melquiond
Pierre Weis
Published in:
CoRR (2010)
Keyphrases
</>
formal proof
artificial intelligence
computationally efficient
multiresolution
high resolution
denoising
energy function
segmentation method
high order
noise removal
error accumulation