C-CoRN
From MaRDI portal
Software:18827
No author found.
Related Items (39)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Invariants for the FoCaL language ⋮ Axiomatic reals and certified efficient exact real computation ⋮ Formal Verification of Exact Computations Using Newton’s Method ⋮ The Picard Algorithm for Ordinary Differential Equations in Coq ⋮ Unnamed Item ⋮ Working with Mathematical Structures in Type Theory ⋮ Formalization of real analysis: a survey of proof assistants and libraries ⋮ Unnamed Item ⋮ Certified Exact Transcendental Real Number Computation in Coq ⋮ Quantitative continuity and Computable Analysis in Coq ⋮ User interaction with the Matita proof assistant ⋮ Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives ⋮ A Wiki for Mizar: Motivation, Considerations, and Initial Prototype ⋮ Automated Machine-Checked Hybrid System Safety Proofs ⋮ Developing the Algebraic Hierarchy with Type Classes in Coq ⋮ Coquelicot: a user-friendly library of real analysis for Coq ⋮ A computer-verified monadic functional implementation of the integral ⋮ Large Formal Wikis: Issues and Solutions ⋮ Finite Groups Representation Theory with Coq ⋮ Formal proofs for theoretical properties of Newton's method ⋮ A formal study of Bernstein coefficients and polynomials ⋮ Type classes for mathematics in type theory ⋮ Types for Proofs and Programs ⋮ Mathematical Knowledge Management ⋮ Mathematical Knowledge Management ⋮ A Formal Proof of Cauchy’s Residue Theorem ⋮ Proof assistants: history, ideas and future ⋮ Type classes for efficient exact real arithmetic in Coq ⋮ Unnamed Item ⋮ Automating Side Conditions in Formalized Partial Functions ⋮ Constructive hybrid games ⋮ Constructive analysis, types and exact real numbers ⋮ Affine functions and series with co-inductive real numbers ⋮ Mathematical Knowledge Management ⋮ Mathematical Knowledge Management ⋮ Mathematical Knowledge Management ⋮ Views of Pi: definition and computation ⋮ Web Interfaces for Proof Assistants
This page was built for software: C-CoRN
