论文部分内容阅读
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明.
计算机怎样证明几何不等式
【摘 要】
：
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书
【机 构】
：
广州大学计算机教育软件研究所
【出 处】
：
广州大学学报(自然科学版)
【发表日期】
：
2004年02期
【基金项目】
：
国家973计划(NKBRSF-G1998030602);中国科学院知识创新工程资助项目
其他文献
<正> 古典的 Liouville 定理说:全平面上有界的全纯函数必是常数.在多复变函数论里,有许多定理是研究什么样的复流形上不存在非常值或非退化的(有界)全纯函数或全纯映照.这类
中国是一个人口超级大国,地理面积大国,地理区域、行政区域、民族区域组成的文化区域众多,不同区域之间存在的隐性文化心理差异和显性文化模式差异是影响和谐社会建设的重要
防范国库资金风险,保证国库资金安全是国库工作的重要目标。随着财税体制改革的持续深入及国库业务形式的不断变化,国库资金风险的表现形式也发生了改变,国库资金风险防控需
《朱子家训》即《朱子治家格言》,虽然这部家训名篇篇幅较短,但是却蕴涵着丰富的教育思想。本文在对《朱子家训》中的出世教育思想和品德教育思想做出论述的基础上,对《朱子
针对某在役选煤厂主厂房屋面网架振动的问题,分别从结构自身固有属性、振源设备、振动传播途径以及厂房工作环境等方面进行分析,提出了一种切实可行的处理方案,为工程中类似
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
据新华社北京９月２４日电（记者常璐）库克群岛总理吉姆·马鲁雷２４日抵达北京，开始对中国进行为期一周的正式访问。马鲁雷是应国务院总理温家宝邀请访问中国的。在华期间，温家宝将与他举
报纸