论文部分内容阅读
在微分方程的理论与应用研究中，一般来说，大多数方程的解都不能显式表出，因此研究解的性态，诸如稳定性、周期性等成为微分方程研究的中心课题，但在不少情形，这种研究由于复杂的计算而被迫终止。我们依据吴文俊机械化方法，讨论一类微分方程问题，用我们编制的机器处理系统，可以判定这类微分方程的运动稳定性，并能给出供研究极限环的判定量。