In this paper we study systems of autonomous algebraic ODEs in several differential indeterminates. We develop a notion of algebraic dimension of such systems by considering them as algebraic systems. Afterwards we apply differential elimination and analyze the behavior of the dimension in the resulting Thomas decomposition. For such systems of algebraic dimension one, we show that all formal Puiseux series solutions can be approximated up to an arbitrary order by convergent solutions. We show that the existence of Puiseux series and algebraic solutions can be decided algorithmically. Moreover, we present a symbolic algorithm to compute all algebraic solutions. The output can either be represented by triangular systems or by their minimal polynomials.

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The fundamental theorem of Tropical Differential Algebraic Geometry and its extensions state that the support of power series solutions of systems of ordinary differential equations (with formal power series coefficients over an uncountable algebraically closed field of characteristic zero) can be obtained either, by solving a so-called tropicalized differential system, or by testing monomial-freeness of the associated initial ideals. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions, particularly on the existence of solutions. We show here that both of these methods can be generalized to the case of systems of partial differential equations, this is, one can go either with the solution of tropicalized systems, or test monomial-freeness of the ideal generated by the initials when looking for supports of power series solutions of systems of differential equations, regardless the (finite) number of derivatives. The key are the vertex sets of Newton polytopes, upon which relies the definition of both tropical vanishing condition and the initial of a differential polynomial.

Given an autonomous first order algebraic ordinary differential equation $F(y,y')=0$, we provide algorithms for computing formal Puiseux series solutions of $F(y,y')=0$ with real or rational coefficients. For this purpose we give necessary and sufficient conditions on the existence of such solutions by combining classical methods from algebraic geometry and the study of an associated differential equation. Since all formal Puiseux series solutions of such differential equations are convergent in a certain neighborhood, the solutions also define real solution functions.

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polytopes.