Coquelicot
From MaRDI portal
Software:23492
No author found.
Related Items (18)
A Formalization of Properties of Continuous Functions on Closed Intervals ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Unnamed Item ⋮ Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis ⋮ Validating Mathematical Structures ⋮ Computational logic: its origins and applications ⋮ Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation ⋮ Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types ⋮ A Coq formalization of Lebesgue integration of nonnegative functions ⋮ A formal proof in Coq of Lasalle's invariance principle ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ Free modal Riesz spaces are Archimedean: a syntactic proof ⋮ Unnamed Item ⋮ The flow of ODEs: formalization of variational equation and Poincaré map ⋮ Formally verified approximations of definite integrals ⋮ Verified tail bounds for randomized programs ⋮ A Formal Proof of Cauchy’s Residue Theorem ⋮ Formally Verified Approximations of Definite Integrals
This page was built for software: Coquelicot
