不等式机器证明相关论文
逐次差分代换算法（SDS）在不等式机器证明领域是有力工具.原来的逐次差分代换算法虽然可以被应用于带有逻辑连词“∧”（and）类型的不等......
系统的同时镇定问题和安全性验证是系统科学与控制理论中的基本问题,有着非常重要的理论意义和应用价值。同时镇定问题考虑如何设......
文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实......
