文件名称：陈计书本上的局部不等式构造
文件大小：46KB
文件格式：PDF
更新时间：2021-03-09 05:57:34
陈计 不等式 局部
read`E:/机器证明/sydc2013.txt`;read`E:/机器证明/proineq0125`; "===================================================================\ ============================" "Copyright(C) 2013-2016 by Deng HE " [ sgm, pro, dsh, dcpf, dcpf2, dcfc ] "dcpf为【三元完全对称不等式】的配方程序" "此程序为试探性程序,算法还不完备,运行前需要先调用韩京俊的proineq程序及杨路教\ 授的bottema" "程序运行的中间过程可忽略,看最后的输出结果即可"