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

• APPLICATION OF MECHANIZED MATHEMATICS IN ROTOR DYNAMICS