A differential intermediate value theorem
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]


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