Pages that link to "Item:Q3431547"
From MaRDI portal
The following pages link to A monadic, functional implementation of real numbers (Q3431547):
Displayed 7 items.
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- A formal study of Bernstein coefficients and polynomials (Q3094174) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Constructive Mathematics and Functional Programming (Abstract) (Q5458392) (← links)