KEM Church - Communications in Nonlinear Science and …, 2022 - ui.adsabs.harvard.edu
We present an implicit method of steps for differential equations with state-dependent delays
and validated numerics to rigorously enclose solutions of initial-value problems. Our …