强非线性微分方程符号分析法的计算机实现及有效性研究

• A Study on the Effectiveness and Computer Realization of Symbolic Analysis for Strongly Nonlinear Differential Equations