Verified Integration of Differential Equations with Discrete Delay

DOI10.14232/ACTACYB.290904zbMath1505.65231OpenAlexW4206312007WikidataQ115238589 ScholiaQ115238589MaRDI QIDQ5081418

Ekaterina Auer, Andreas Rauh

Publication date: 14 June 2022

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.290904

zbMATH Keywords

uncertaintyinterval analysisdelay differential equationsdynamic systemsverified methods

Mathematics Subject Classification ID

Numerical methods for functional-differential equations (65L03)

This page was built for publication: Verified Integration of Differential Equations with Discrete Delay