### Thomas decomposition of nonlinear PDE systems

This talk gives an introduction to the method of Thomas decomposition for systems of nonlinear partial differential equations, which is fundamental for solving tasks like determining all power series solutions of the PDE system (around sufficiently generic points), deciding membership ...