开发工具:
文件大小: 46kb
下载次数: 0
上传时间: 2018-02-17
详细说明： read`E:/机器证明/sydc2013.txt`;read`E:/机器证明/proineq0125`; "===================================================================\ ============================" "Copyright(C) 2013-2016 by Deng HE " [ sgm, pro, dsh, dcpf, dcpf2, dcfc ] "dcpf为【三元完全对称不等式】的配方程序" "此程序为试探性程序,算法还不完备,运行前需要先调用韩京俊的proineq程序及杨路教\ 授的bottema" "程序运行的中间过程可忽略,看最后的输出结果即可"
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
