|
Some algorithms for classifying forces, constructing Lyapunov functions for special-form systems of differential equations, and solving parametric inequalities arising in stability analysis are described. These algorithms have been implemented using the Mathematica computer algebra system and incorporated into the Ustoichivost' information-research package. This package is intended for analyzing the stability of the motion of mechanical systems under potential, gyroscopic, dissipative, and nonconservative forces in symbolic-numerical form.
|
|