Title: Lyapunov functions from auxiliary exact differential equations
Subjects: Lyapunov functions