Ordinary Differential Equations

MaRDI QIDQ40512swMATHFDO

Official website https://www.isa-afp.org/entries/Ordinary_Differential_Equations.html

Cited in

(18)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• The flow of ODEs: formalization of variational equation and Poincaré map
• ROSCoq
• Ergodic theory
• Affine Arithmetic
• Lp spaces
• Dictionary Construction
• Algebraic_VCs
• Binary Multirelations
• Differential_Game_Logic
• Kleene Algebra
• KAD
• 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)
• Quantales
• Transformer semantics
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

This page was built for software: Ordinary Differential Equations