A Constructive Formalization of the Fundamental Theorem of Calculus
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 108-126
- https://doi.org/10.1007/3-540-39185-1_7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Constructive Algebraic Hierarchy in CoqJournal of Symbolic Computation, 2002
- Using Theorem Proving for Numerical Analysis Correctness Proof of an Automatic Differentiation AlgorithmPublished by Springer Nature ,2002
- Transcendental Functions and Continuity Checking in PVSPublished by Springer Nature ,2000
- Equational Reasoning via Partial ReflectionPublished by Springer Nature ,2000
- A Machine-Checked Theory of Floating Point ArithmeticPublished by Springer Nature ,1999
- Numerical Integration with Exact Real ArithmeticPublished by Springer Nature ,1999
- A New Representation for Exact Real NumbersElectronic Notes in Theoretical Computer Science, 1997
- Checking Landau's “Grundlagen” in the Automath SystemPublished by Elsevier ,1994
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Constructive AnalysisPublished by Springer Nature ,1985