Transseries and Real Differential Algebra

Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation and logarithm. They are suitable for mode