一类构造性几何不等式的机器证明

• 作者: 夏时洪 杨路
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 自动证明 几何不等式 胞腔分解 半代数系统
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 769-778
• 页数: 10页
• 分类号: TP301
• 字数: 9519字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.07.001

摘要

阐述了一个基于胞腔分解的不等式证明算法.据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理,对于Bottema等所著<几何不等式>一书中的大部分不等式定理的验证尤其高效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路	广州大学软件研究所	6	115	4.0	6.0
3	夏时洪	中国科学院计算技术研究所	40	549	14.0	22.0