On the solutions of ordinary differential equations in the form of Dulac series
We consider a nonlinear ordinary differential equation of arbitrary order
with coefficients in the form of power series that converge in a neighborhood
of the origin. The methods created in power geometry in recent
years make it possible to compute formal solutions to that equation in the
form of Dulac series. We describe the corresponding algorithm and prove
a sufficient convergence condition for such formal solutions.