Using Theorem Proving for Numerical Analysis Correctness Proof of an Automatic Differentiation Algorithm
- 25 July 2002
- book chapter
- Published by Springer Nature
- p. 246-262
- https://doi.org/10.1007/3-540-45685-6_17
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Equational Reasoning via Partial ReflectionPublished by Springer Nature ,2000
- Game Semantics for Untyped λβη-CalculusPublished by Springer Nature ,1999
- Theorem Proving with the Real NumbersPublished by Springer Nature ,1998
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992