奥数之家数学奥林匹克讨论区(讨论不低于二试级别的问题)不等式讨论专用区不等式机械化专区 → 不等式机器证明软件综览


  共有3617人关注过本帖平板打印复制链接

主题:不等式机器证明软件综览

帅哥哟,离线,有人找我吗?
Grotex
  1楼 | 信息 | 搜索 | 邮箱 | 主页 | UC


加好友 发短信
等级:副排长 帖子:20 积分:303 威望:0 精华:0 注册:2015-12-10 17:09:17
不等式机器证明软件综览  发帖心情 Post By:2017-8-21 21:31:06 [只看该作者]

陈胜利老师的Schur01软件包在哪里有?

 回到顶部