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 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)
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (Q2920992) (← links)
- (Q3384929) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives (Q4916067) (← 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)
- Formalization techniques for asymptotic reasoning in classical analysis (Q5195290) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- A framework for formal verification of robot kinematics (Q6561341) (← links)
