Symbolic Computations in Problems of Mechanics

This report considers the long-term research on development of algorithms and automation of complicated mechanical and controlled systems. We have created specialized systems of computer algebra (CAS) and software packages "Dynamics", "Mechanics", the possibilities and the algorithms of which are described in [1-5] and others. Currently we are developing software systems [6-9] for solving mechanical problems based on CAS Mathematica [10]. The software allows us to automate, and consequently, speed up processes of the modeling and dynamic analysis of complicated systems, and to avoid errors at all stages of research. The base of the algorithms, which are realized in these packages, was formed by classical methods of analytical mechanics and stability theory. Our experience with symbolic computation packages allows us to conclude that CAS are tools for research in the field of theoretical mechanics.