Solving first order autonomous algebraic ordinary differential equations by places (Q782683)

The authors consider differential equations of the form \(F(y,y')=0\), where \(F\) is a polynomial. They present a method for computing formal power series solutions by means of places. A place is the equivalence class of an irreducible local parametrization of the curve \(F(a,b)=0\). They provide an algorithm for computing a full characterization of possible initial values, classified in terms of the number of distinct formal power series solutions extending them. If a particular initial value is given, they present a second algorithm that computes all the formal power series solutions, up to a suitable degree, corresponding to it. When the ground field is the field of complex numbers, they prove that the computed formal power series solutions are all convergent in suitable neighbourhoods.