Iterative construction of complete lyapunov functions: analysis of algorithm efficiency

Differential equations describe many interesting phenomena arising from various disciplines. This includes many important models, e.g. predator-prey in population biology or the Van der Pol oscillator in electrical engineering. Complete Lyapunov functions allow for the systematic study of the qualitative behaviour of complicated systems. In this paper, we extend the analysis of the algorithm presented in. We study the efficiency of our algorithm and discuss important sections of the code.