1: \begin{abstract}

2: We describe a package realized in the Julia programming language which

3: performs symbolic manipulations applied to

4: nonlinear evolution equations, their flows, and commutators of such objects.

5: This tool was employed to perform contrived computations arising

6: in the analysis of the local error of operator splitting methods.

7: It enabled the proof of the convergence of the basic method and

8: of the asymptotical correctness of a defect-based error estimator.

9: The performance of our package is illustrated on several examples.

10: %

11: \keywords{Nonlinear evolution equations, time integration, splitting methods, symbolic

12: computation, Julia language}

13: \end{abstract}

14: