1. 首页
  2. 编程语言
  3. 其他
  4. 陈计书本上的局部不等式构造

陈计书本上的局部不等式构造

上传者: 2019-06-05 08:45:08上传 PDF文件 46.46KB 热度 18次
read`E:/机器证明/sydc2013.txt`;read`E:/机器证明/proineq0125`;"===================================================================\============================""Copyright(C)2013-2016byDengHE"[sgm,pro,dsh,dcpf,dcpf2,dcfc]"dcpf为【三元完全对称不等式】的配方程序""此程序为试探性程序,算法还不完备,运行前需要先调用韩京俊的proineq程序及杨路教\授的
用户评论