Ordinary Differential Equations
From MaRDI portal
Software:40512
No author found.
Related Items (6)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL ⋮ A verified ODE solver and the Lorenz attractor ⋮ A Verified Enclosure for the Lorenz Attractor (Rough Diamond) ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL ⋮ The flow of ODEs: formalization of variational equation and Poincaré map
This page was built for software: Ordinary Differential Equations
