Discussion of a delayed differential equation with verified computing technique

MaRDI QIDQ5422516zbMATH OpenFDO

Authors Balázs Bánhelyi

Publication date 26 October 2007

zbMATH Keywords

delayed differential equationnumerical methods

Mathematics Subject Classification ID

Recommendations

• A numerical verification method for a periodic solution of a delay differential equation
• scientific article; zbMATH DE number 775666
• Verified integration of differential equations with discrete delay
• Developing a delay differential equation solver
• Validated simulation-based verification of delayed differential dynamics

Cited in

(3)

• Validated simulation-based verification of delayed differential dynamics
• Global attractivity of the zero solution for Wright's equation
• Verified integration of differential equations with discrete delay

This page was built for publication: Discussion of a delayed differential equation with verified computing technique

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422516)