that are defined as the solutions of a system of polynomial differential
equations together with a sufficient number of initial conditions. Given
, several algorithms have
been proposed in order to test whether 
.
In this paper, we present such an algorithm for the case where 
are so-called transseries instead
of power series.