Pages that link to "Item:Q4916067"
From MaRDI portal
The following pages link to Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives (Q4916067):
Displaying 10 items.
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- A formally verified proof of the central limit theorem (Q1694568) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Theorem-proving analysis of digital control logic interacting with continuous dynamics (Q2520681) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Differentiation on interval (Q6071619) (← links)
- Multidimensional measure space and integration (Q6557119) (← links)
- Integral of continuous functions of two variables (Q6557127) (← links)
- Integral of continuous three variable functions (Q6626692) (← links)