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
28 - Efficient Algorithms from Proofs in Constructive Analysis
from Part VI - Aspects of Computation
Published online by Cambridge University Press: 04 May 2023
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
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 777 - 805Publisher: Cambridge University PressPrint publication year: 2023