Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
Authors:
- 1 January 2012
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 377-392
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Computer Certified Efficient Exact Reals in CoqLecture Notes in Computer Science, 2011
- A computer-verified monadic functional implementation of the integralTheoretical Computer Science, 2010
- Formal Proof of a Wave Equation Resolution Scheme: The Method ErrorLecture Notes in Computer Science, 2010
- Code Generation via Higher-Order Rewrite Systems2010
- Local Theory Specifications in Isabelle/Isar2009
- Proving Bounds on Real-Valued Functions with Computations2008
- Certified Exact Transcendental Real Number Computation in Coq2008
- A HOL Theory of Euclidean Space2005
- Real Number Calculations and Theorem Proving2005
- Scientific Computing with Ordinary Differential Equations2002