论文部分内容阅读
多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方法进行了若干改进,针对该算法无法在有限时间内作出判断的一些问题,给出了几种比较有效的解决方法.另外,本文还对包含约束条件的不等式的证明进行了初步探索.
对多项式不等式若干证明技术的研究
【摘 要】
：
多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方法进行了若干改进,针对该算法无法在有限时
【出 处】
：
华东师范大学
【发表日期】
：
2010年期
其他文献
工业软件是现代工业的灵魂，代表着制造业先进生产力的发展方向。工业软件强，国家制造业竞争力才能强。$$工业软件是国家制造业竞争力根本所在$$发展工业软件是推进智能制造的必
报纸
2007年8月,由武汉理工大学承办的第二届"东亚五大学建筑学术研讨会暨学生联合设计交流竞赛"在湖北武汉成功举行,此次联合设计加强了东亚学校间的建筑与城市规划学科领域的学
发展智能网联汽车是全球汽车业转型升级的突破口,各国纷纷出台一系列产业政策引导汽车智能化、网联化发展。我国不仅通过国家政策为智能网联汽车发展提出阶段性的规划和目标,
美国与澳大利亚的学前教育质量监控系统,在政府承担的职责、质量促进功能、反映的学前教育质量观上存在相似点,而在是否由联邦政府统一实施、评估标准中是否包含结果性质量、
辽宁沿海经济带上升为国家战略以来,凭借辽宁沿海经济带自身的地理优势和战略优势,迎来了新的发展机遇。地方政府更应该为自己在招商引资中的职能重新定位,为招商引资创造有
<正>中国民航局局长李家祥在2010年的全国民航工作会议上,描绘了建设民航强国的蓝图。其途径可以概括为:培育具有国际竞争力的航空公司、培育具有国际竞争力的大型航空枢纽、
当教师容易，当好教师不易。人们常说，“无德不能当教师，无能不能当好教师”，有德无能或有德低能的教师都不是好教师。真正的好教师，不仅要具备高尚的师德，还应拥有良好的师能。只有
报纸
70年前，中华人民共和国站起来了，人民政协成立了。$$7年前，我成为一名上海市政协委员。$$20年前，我成了母亲，也成了是年设立的锦天城律师事务所的合伙人，那一年正是中国加入世贸组
报纸
目的探讨小儿肺挫伤的有效护理方法。方法用回顾分析的方法对2013年12月至2016年6月我院收治的64例严重肺挫伤患儿的观察与护理进行总结。结果 64例小儿严重肺挫伤患儿应用系