柱形代数分解相关论文
不等式的自动推理一直是自动推理领域的一大难题,该文在多项式完全判别系统、柱形代数分解算法及降维算法等理论的基础上提出了用......
考虑如下问题：设R为实数域，Q为有理数域，f（Xn，k）∈Q[Xn，k]是以Xn=(x1，…，xn)和k为未知元的有理系数多项式，求所有使得f（Xn，k）在Rn上非负的k.很明......
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对......
柱形代数分解是广泛应用于求多项式系统实数解的一种计算方法。不同的变元序对其计算时间有显著影响。已有选序算法多基于启发式的......
耗散Hamilton系统是一类广泛存在的动态系统,同时也是非线性系统控制设计中的一个重要工具。在非线性系统的控制设计中,控制器参数......
