Computational Aspects of Bishop’s Constructive Mathematics

DOI10.1017/9781009039888.027MaRDI QIDQ6116089zbMATH OpenOpenAlexFDO

Authors Helmut Schwichtenberg

Publication date 11 August 2023

Published in Handbook of Constructive Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/9781009039888.027

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Cited in

(3)

• Sufficient convexity and best approximation
• Strong negation in the theory of computable functionals TCF
• Verified program extraction in number theory: the fundamental theorem of arithmetic and relatives

This page was built for publication: Computational Aspects of Bishop’s Constructive Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6116089)