Ordinary Differential Equations

MaRDI QIDQ7361890FDO

Authors Fabian Immler, Johannes Hölzl

Publication date 26 April 2012

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

(5)

• Verification Components for Hybrid Systems
• Differential Dynamic Logic
• Kraus Maps
• The Poincaré-Bendixson Theorem
• The Tensor Product on Hilbert Spaces

This page was built for software: Ordinary Differential Equations