In this paper we develop a general computer-assisted proof method for periodic solutions to
delay differential equations. The class of problems considered includes systems of delay …

We study the classical Mackey–Glass delay differential equation x′(t)=− ax (t)+ bfn (x (t− 1))
where a, b, n are positive reals, and fn (ξ)= ξ/[1+ ξ n] for ξ≥ 0. As a limiting (n→∞) case we …

We present an algorithm for the rigorous integration of delay differential equations (DDEs) of
the form x'(t)= f (x (t-τ), x (t)) x′(t)= f (x (t-τ), x (t)). As an application, we give a computer …

The limiting version of the Mackey–Glass delay differential equation x (t)=− ax (t)+ bf (x (t−
1)) is considered where a, b are positive reals, and f (ξ)= ξ for ξ∈[0, 1), f (1)= 1/2, and f (ξ)= 0 …

We consider functional differential equations (FDEs) which are perturbations of smooth
ordinary differential equations (ODEs). The FDE can involve multiple state-dependent …

We present a Lohner-type algorithm for rigorous integration of systems of delay differential
equations (DDEs) with multiple delays, and its application in computation of Poincaré maps …

We consider scalar delay differential equations of the form x˙(t)=− μ x (t)+ f (x (t− 1)), where
μ> 0 and f is a nondecreasing C 1-function. If χ is a fixed point of f μ: R∋ u↦ f (u)/μ∈ R with f …