论文部分内容阅读
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
不等式自动发现与判定程序agl2012功能的若干拓展
【摘 要】
：
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2014年5期
其他文献
在大学生中弘扬和培育民族精神，必须切实加强历史文化教育、榜样示范教育、社会责任教育、现实国情教育和民族复兴教育，引领大学生立足现实，着眼未来，将个人成长成才、实现人生价
每年的学业水平测试不但承担着检测一个初三学生是否达到毕业标准的任务,而且有为高一级中学选拔优秀人才的双重使命.因此学业水平测试题目既要全面考查初中阶段应知应会的基
针对提高应急方案调整精确度的问题,提出了一种基于多角度的应急案例调整方法.基于3种相似度计算方法得到案例的综合相似度,通过灰色关联度计算方法得到问题与方案间的案例关