Ordinary Differential Equations

MaRDI QIDQ40512swMATHFDO

Authors Fabian Immler, Johannes Hölzl

Publication date 26 April 2012

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

Cites work

• Unnamed Publication
• Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
• Reachable set over-approximation for nonlinear systems using piecewise barrier tubes

Cited in

(18)

• 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
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL

This page was built for software: Ordinary Differential Equations