Formal Proof of a Wave Equation Resolution Scheme: The Method Error
- 1 January 2010
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 147-162
Abstract
No abstract availableKeywords
All Related Versions
This publication has 17 references indexed in Scilit:
- A Decision Procedure for Linear “Big O” EquationsJournal of Automated Reasoning, 2007
- A HOL Theory of Euclidean Space2005
- A Constructive Formalization of the Fundamental Theorem of CalculusLecture Notes in Computer Science, 2003
- Using Theorem Proving for Numerical Analysis Correctness Proof of an Automatic Differentiation AlgorithmLecture Notes in Computer Science, 2002
- Constructive Reals in Coq: Axioms and Categoricity2002
- Nonstandard Analysis in ACL2Journal of Automated Reasoning, 2001
- On the Mechanization of Real Analysis in Isabelle/HOL2000
- Theorem Proving with the Real Numbers1998
- Elements of mathematical analysis in PVS1996
- Numerical Partial Differential Equations: Finite Difference Methods1995