On the Mechanization of Real Analysis in Isabelle/HOL
Author:
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 145-161
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Theorem Proving with the Real Numbers1998
- USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONSInternational Journal of Foundations of Computer Science, 1995
- Isabelle1994
- Automatic Proofs of Theorems in Analysis Using Nonstandard TechniquesJournal of the ACM, 1977