# Finding Lyapunov functions in Sage

Is there a way to find Lyapunov functions candidates for a system of ODEs?

see for example: http://www.exampleproblems.com/wiki/i...

I know I can simply "do the math" given I have a candidate function, but I wonder if there is any way to quickly explore potential candidates.

Hum. I don't think so. You might have a look at the software maxima or the library sympy which are what Sage uses for symbolic computations...