the field of transseries,
the intermediate value theorem states that for any differential
polynomials 
with
coefficients in and 
in
with 
, there exists a
solution 
to 
with 
.
| HomepagePublicationsTalksTeXmacsMathemagix |
In this survey paper, we outline the proof of a recent differential
intermediate value theorem for transseries. Transseries are a
generalization of power series with real coefficients, in which one
allows the recursive appearance of exponentials and logarithms. Denoting
by the field of transseries,
the intermediate value theorem states that for any differential
polynomials with
coefficients in and in
with , there exists a
solution to with .
View: Html, TeXmacs, Pdf, BibTeX
See also: the corresponding preprint with details