Text this: Nonlinear dynamical systems and Carleman linearization /