A monadic, functional implementation of real numbers
From MaRDI portal
Publication:3431547
DOI10.1017/S0960129506005871zbMath1121.03024MaRDI QIDQ3431547
Publication date: 12 April 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Constructive and recursive analysis (03F60) Functional programming and lambda calculus (68N18) Mechanization of proofs and logical operations (03B35)
Related Items (7)
Formalization of real analysis: a survey of proof assistants and libraries ⋮ Certified Exact Transcendental Real Number Computation in Coq ⋮ Coquelicot: a user-friendly library of real analysis for Coq ⋮ A computer-verified monadic functional implementation of the integral ⋮ Computer Certified Efficient Exact Reals in Coq ⋮ Constructive Mathematics and Functional Programming (Abstract) ⋮ A formal study of Bernstein coefficients and polynomials
Uses Software
This page was built for publication: A monadic, functional implementation of real numbers
