Auzinger, W., Hofstätter, H., & Koch, O. (2016). Symbolic manipulation of flows of nonlinear evolution equations, with application in the analysis of split-step time integrators. In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings (pp. 43–57). Lecture Notes in Computer Science, Springer-Verlag. https://doi.org/10.1007/978-3-319-45641-6_4