Ordinary Differential Equations
From MaRDI portal
Cited in
(27)- A verified ODE solver and the Lorenz attractor
- The flow of ODEs: formalization of variational equation and Poincaré map
- ROSCoq
- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
- A verified enclosure for the Lorenz attractor (rough diamond)
- Ergodic theory
- Lp spaces
- Dictionary Construction
- Affine Arithmetic
- Kleene Algebra
- Binary Multirelations
- Algebraic_VCs
- KAD
- Differential_Game_Logic
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Quantales
- Transformer semantics
- Kleene Algebras with Domain
- Program Construction and Verification Components Based on Kleene Algebra
- Ergodic Theory
- Affine Arithmetic
- Lp spaces
- Transformer Semantics
- Quantales
- Differential Game Logic
- Binary Multirelations
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
This page was built for software: Ordinary Differential Equations
