The Leibniz formula for the covariant derivative and some of its applications

We obtain a formula for the higher covariant derivatives on the tensor product of vector bundles which is a wide generalization of the classical Leibniz formula. We construct an algorithm for the calculation of the part of the Taylor series of the double exponential map linear with respect to the second variable.