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...