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):
Displayed 24 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)
- Computational logic: its origins and applications (Q4559535) (← links)
- (Q4989411) (← links)
- A Formalization of Properties of Continuous Functions on Closed Intervals (Q5041063) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types (Q5094472) (← links)
- (Q5195290) (← links)
- Formalising Mathematics in Simple Type Theory (Q6075439) (← links)
- Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method (Q6118833) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- A Coq formalization of Lebesgue induction principle and Tonelli's theorem (Q6174524) (← links)