Constructive analysis, types and exact real numbers

DOI10.1017/S0960129506005834zbMath1157.03036OpenAlexW2144933141WikidataQ126372102 ScholiaQ126372102MaRDI QIDQ3431542

Herman Geuvers, Freek Wiedijk, Bas Spitters, Milad Niqui

Publication date: 12 April 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

surveydomain theoryconstructive analysisrealisabilityexact real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Theory of numerations, effectively presented structures (03D45)

Related Items (6)

Proofs of randomized algorithms in Coq ⋮ A Functional Algorithm for Exact Real Integration with Invariant Measures ⋮ Proofs, programs, processes ⋮ A computer-verified monadic functional implementation of the integral ⋮ From Coinductive Proofs to Exact Real Arithmetic ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective

Uses Software

• Nuprl
• C-CoRN
• Automath

This page was built for publication: Constructive analysis, types and exact real numbers