Pages that link to "Item:Q987984"
From MaRDI portal
The following pages link to A computer-verified monadic functional implementation of the integral (Q987984):
Displayed 8 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Formally Verified Approximations of Definite Integrals (Q2829263) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)