be the field of formal
transseries in 
at infinity.
We prove the following theorem: given a differential polynomial 
and two transseries 
in
such that 
, there exists a
transseries 
with 
and 
.
| HomepagePublicationsTalksTeXmacsMathemagix |
Let be the field of formal
transseries in at infinity.
We prove the following theorem: given a differential polynomial and two transseries in
such that , there exists a
transseries with and .
Occasions: Stokes Workshop, Groningen, May 29, 2001
Documents: slides, TeXmacs source