Pages that link to "Item:Q2018661"
From MaRDI portal
The following pages link to Coquelicot: a user-friendly library of real analysis for Coq (Q2018661):
Displaying 15 items.
- Coquelicot (Q23492) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216) (← links)
- Formalization of the Lindemann-Weierstrass theorem (Q1687717) (← links)
- A formal proof in Coq of Lasalle's invariance principle (Q1687728) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Free modal Riesz spaces are Archimedean: a syntactic proof (Q2695359) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- Formally Verified Approximations of Definite Integrals (Q2829263) (← links)
- (Q3384929) (← links)
- (Q5195290) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
