arXiv:1212.6641 [math.NA]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords partial differential equations, actual program, trusting computations, mechanized proof, second-order centered finite difference explicit Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset