Schur分拆相关论文
利用对称多项式的Schur分拆方法,以及单变元多项式实根隔离算法,证明了一个不等式猜想.并将这一方法用于处理一类含有参数的有理对......
综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负......
