A differential intermediate value theorem


Let be the field of grid-based transseries or the field of transseries with finite logarithmic depths. In our PhD. we announced that given a differential polynomial with coefficients in and transseries with and , there exists an , such that . In this note, we will prove this theorem.

View: Html, TeXmacs, Pdf, BibTeX