逐次差分代换相关论文
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法, 并在MAPLE平台编写了相应程序.但是, 对于某些多项式的非负......
研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件......
秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式......
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负......
逐次差分代换算法(SDS)在不等式机器证明领域是有力工具.原来的逐次差分代换算法虽然可以被应用于带有逻辑连词“∧”(and)类型的不等......
针对差分代换证明齐次多项式不等式存在的困难和问题,提出了一种解决方法,并对Bottem a软件和一般多项式差分代换DS(F)进行了评价......