APPLICATION OF MECHANIZED MATHEMATICS IN ROTOR DYNAMICS

• 数学机械化在转子动力学研究中的应用初探