Basing on the algebraic combinatorics on noncommutative formal series with
holomorphic coefficients and, on the other hand, a Picard-Vessiot theory of
noncommutative differential equations, various recursive constructions of
sequences converging to solutions of universal differential equation satisfying
asymptotic conditions.
