论文部分内容阅读
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n元推广实现了自动发现；提出了智能模拟的概念，指出它是机器证明的任务之一；给出了若干n元不等式发现新结果．
用不等式自动发现与判定程序agl2010研究n元不等式
【摘 要】
：
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n元推广实现了自动发现；提出了智能模拟的概念
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2012年3期
其他文献
冯友兰认为毛泽东在建国以后的思想发生了很大的变化,他用王夫之的话来概括,认为毛泽东从＂因事求理＂转向＂立理限事＂了。从冯友兰的这种评价来分析大跃进运动,指出大跃进运动中＂政
报道了近来发现的4个浙江分布新记录种：茄科的水茄Solanum torvum Swartz和多裂水茄Solanum chrysotrichum Schlechtendal；爵床科的早田氏爵床Justifies hayatae Yamamoto；菊科
可比性已被应用到会计准则趋同项目并对中国的会计实务产生影响。如果我们太多地关注规则标准和规定比较的技巧,而没有考虑这些比较所适应的更广泛的经济背景,那么会计的表述
现代诗人与底层之间似乎一直以来都存在着一种暧昧的主客体关系，真实的底层往往被诗人们改写或遗忘。随着新世纪以来从自身经验出发而不是从观念出发的底层写作进入新诗场域，重
21世纪企业的竞争,最根本的就是企业文化的较量。而企业文化得以执行与落地的根本保证是建立起与之相匹配的企业制度。在现实中,企业普遍存在着文化与制度背离的问题。而解决