Pages that link to "Item:Q5327365"
From MaRDI portal
The following pages link to The Picard Algorithm for Ordinary Differential Equations in Coq (Q5327365):
Displayed 14 items.
- A formalization of metric spaces in HOL Light (Q682381) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Time optimal control studies on COVID-19 incorporating adverse events of the antiviral drugs (Q2076182) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Age structured mathematical modeling studies on COVID-19 with respect to combined vaccination and medical treatment strategies (Q2111090) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Formally Verified Approximations of Definite Integrals (Q2829263) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- (Q4989411) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)