Question: Lyapunov Functions in MAPLE

To determine whether or not equilibrium points of a nonlinear ordinary differential equation is globally stable, a Lyapunov function is often employed. Since there are no general methods for constructing Lyapunov functions, May I know if there are methods in MAPLE that can be used to determine these Lyapunov functions? Thanks

Please Wait...