swMATH28798MaRDI QIDQ40512FDOQ40512
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Ordinary_Differential_Equations.html
Cited In (18)
- Quantales
- Transformer semantics
- 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
- ROSCoq
- A verified enclosure for the Lorenz attractor (rough diamond)
- Ergodic theory
- Affine Arithmetic
- Lp spaces
- Dictionary Construction
- Algebraic_VCs
- Binary Multirelations
- Differential_Game_Logic
- Kleene Algebra
- KAD
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
This page was built for software: Ordinary Differential Equations
