Möhlmann, Eike (2018) Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues. PhD, Universität Oldenburg..