Constructing the real numbers as nearly multiplicative sequences
The n-Category Café,
I’m in Regensburg this week attending a workshop onInteractions of Proof Assistants and Mathematics. One of the lecture series…
Theorem Proving with the Real Numbers
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Constructing the Real Numbers
-
Altmetric BadgeChapter 3 Formalized Analysis
-
Altmetric BadgeChapter 4 Explicit Calculations
-
Altmetric BadgeChapter 5 A Decision Procedure for Real Algebra
-
Altmetric BadgeChapter 6 Computer Algebra Systems
-
Altmetric BadgeChapter 7 Floating Point Verification
-
Altmetric BadgeChapter 8 Conclusions