论文部分内容阅读
针对微分方程解次数界的求解问题,提出了一种用于计算二维非退化多项式微分方程代数解的算法.算法首先基于Moulin Ollagnier证明,将指数写成具有非负整数系统的奇异叶面特征比的线性组合,获得度数为1和2的丢番图方程组,从而确定多项式1形式的界.然后对算法基于的定理进行证明,最后利用实例进行验证,说明所提算法的有效性和可行性.