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


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