论文部分内容阅读
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
不等式自动发现与判定程序agl2012功能的若干拓展
【摘 要】
：
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2014年5期
其他文献
现代德育的目的是使学生在道德方面的主体素质得到全面和谐、充分自由的发展，培养学生独立自主、积极主动的道德能力与素质，即道德上的自律能力。21世纪，随着青少年主体意识的增
报道了西藏种子植物3个新记录属:爵床科(Acanthaceae)的十万错属(Asystasia Bl.)、千屈菜科(Lythraceae)的萼距花属(Cuphea Adans.ex P.Br.)、毛茛科(Ranunculaceae)的星果草
在大学生中弘扬和培育民族精神，必须切实加强历史文化教育、榜样示范教育、社会责任教育、现实国情教育和民族复兴教育，引领大学生立足现实，着眼未来，将个人成长成才、实现人生价
每年的学业水平测试不但承担着检测一个初三学生是否达到毕业标准的任务,而且有为高一级中学选拔优秀人才的双重使命.因此学业水平测试题目既要全面考查初中阶段应知应会的基
明明可以分镜拍，为什么每场戏都要所有人先演一遍呢？“明明可以，为什么不”，是我在跟新人工作过程中最常出现的台词，但现在我决定闭嘴。改变我的，是某次在教会听一位牧师讲道。那天
针对提高应急方案调整精确度的问题,提出了一种基于多角度的应急案例调整方法.基于3种相似度计算方法得到案例的综合相似度,通过灰色关联度计算方法得到问题与方案间的案例关
参考文献[1]指出体会对称之美,欣赏对称之妙,是贯穿在整个学习过程中的.参考文献[2]指出,对称是一种审美心向下的思维走势,是一种方向性引领,引领我们走出困境,走向澄明.笔者