Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds (Q967202)

The authors construct an algorithm for a differential equation of the form \[ z'=(1+e^{i\eta t}|z|^{2})\overline{z}, \] where \(z\) is a complex function of the real variable \(t\) and \(\eta\) is a real parameter. The algorithm describes the set of points of the solution \(\varphi(t)\) for an interval \(( t_{0},t_{1})\), but does not solve the differential equation by using methods of numerical analysis.