Highly Influenced

# A Monadic, Functional Implementation of Real Numbers

@article{OConnor2007AMF, title={A Monadic, Functional Implementation of Real Numbers}, author={Russell O'Connor}, journal={Mathematical Structures in Computer Science}, year={2007}, volume={17}, pages={129-159} }

- Published 2007 in Mathematical Structures in Computer Science
DOI:10.1017/S0960129506005871

Large scale real number computation is an essential ingredient in several modern mathematical proofs. Because such lengthy computations cannot be verified by hand, some mathematicians want to use software proof assistants to verify the correctness of these proofs. This paper develops a new implementation of the constructive real numbers and elementary functions for such proofs by using the monad properties of the completion operation on metric spaces. Bishop and Bridges's notion of regularâ€¦Â CONTINUE READING

Highly Cited

This paper has 24 citations. REVIEW CITATIONS

Recent Discussions

This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS