Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 279-294
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOLLecture Notes in Computer Science, 2012
- Three Chapters of Measure Theory in Isabelle/HOL2011
- Local Theory Specifications in Isabelle/Isar2009
- Topology in PVS2007
- Constructive Type Classes in Isabelle2007
- A HOL Theory of Euclidean Space2005
- Mechanizing Nonstandard Real AnalysisLMS Journal of Computation and Mathematics, 2000