Ordinary Differential Equations
From MaRDI portal
Software:40512
swMATH28798MaRDI QIDQ40512FDOQ40512
Author name not available (Why is that?)
Cited In (6)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- The flow of ODEs: formalization of variational equation and Poincaré map
- A verified ODE solver and the Lorenz attractor
- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
- A Verified Enclosure for the Lorenz Attractor (Rough Diamond)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
This page was built for software: Ordinary Differential Equations
