Login / Signup

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program.

Sylvie BoldoFrançois ClémentJean-Christophe FilliâtreMicaela MayeroGuillaume MelquiondPierre Weis
Published in: J. Autom. Reason. (2013)
Keyphrases
  • wave equation
  • automatic theorem proving
  • low resolution
  • imperative programs
  • theorem prover
  • computer vision
  • multiscale
  • higher order
  • numerical analysis
  • hamilton jacobi