Program Extraction from Proofs: The Fan Theorem for Uniformly Coconvex Bars

DOI10.1007/978-3-030-20447-1_17zbMath1469.03125OpenAlexW2981410077MaRDI QIDQ3305639

Helmut Schwichtenberg

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_17

zbMATH Keywords

realizabilityprogram extractionfan theoremcoconvexityHeine-Borel theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Logic in computer science (03B70) Computation over the reals, computable analysis (03D78)

Cites Work

• Logic for Gray-code Computation

This page was built for publication: Program Extraction from Proofs: The Fan Theorem for Uniformly Coconvex Bars