本文研究了四类具有退化奇点的平面可积系统的多项式扰动问题，属于Liénard-(m，n)型x=y，y=P(x)+εyQ(x)(deg(P)=m，deg(Q)=n)微分系统.......

在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于......

有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的......

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型......

阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著......

科学计算中的诸多问题都可以转化为多项式系统求解问题。符号计算和数值计算是两种不同的计算方法。与传统的数值方法相比,利用符......

为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等......