Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
scientific article; zbMATH DE number 6909066
scientific article