Book contents
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- 26 Computational Aspects of Bishop’s Constructive Mathematics
- 27 Application of Constructive Analysis in Exact Real Arithmetic
- 28 Efficient Algorithms from Proofs in Constructive Analysis
- 29 On the Computational Content of Choice Principles
- Index
27 - Application of Constructive Analysis in Exact Real Arithmetic
from Part VI - Aspects of Computation
Published online by Cambridge University Press: 04 May 2023
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- 26 Computational Aspects of Bishop’s Constructive Mathematics
- 27 Application of Constructive Analysis in Exact Real Arithmetic
- 28 Efficient Algorithms from Proofs in Constructive Analysis
- 29 On the Computational Content of Choice Principles
- Index
Summary
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 749 - 776Publisher: Cambridge University PressPrint publication year: 2023