| 一类构造性几何不等式的机器证明 |
| |
| 引用本文： | 杨路,夏时洪.一类构造性几何不等式的机器证明[J].计算机学报,2003,26(7):769-778. |
| |
| 作者姓名： | 杨路 夏时洪 |
| |
| 作者单位： | 1. 广州大学软件研究所,广州,510405;中国科学院成都计算机应用研究所,成都,610041
2. 中国科学院计算技术研究所,北京,100080 |
| |
| 基金项目： | 本课题得到国家"九七三"重点基础研究发展规划项目(NKBRSF-G1998030602)和中国科学院知识创新工程基金资助. |
| |
| 摘 要： | 阐述了一个基于胞腔分解的不等式证明算法．据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效．
|
| 关 键 词： | 构造性几何不等式 机器证明 自动证明 半代数系统 |
| 修稿时间： | 2001年10月24 |
Automated Proving for a Class of Constructive Geometric Inequalities |
| |
| YANG Lu , XIA Shi Hong.Automated Proving for a Class of Constructive Geometric Inequalities[J].Chinese Journal of Computers,2003,26(7):769-778. |
| |
| Authors: | YANG Lu XIA Shi Hong |
| |
| Affiliation: | YANG Lu 1),3) XIA Shi Hong 2) 1) |
| |
| Abstract: | |
| |
| Keywords: | automated proving geometric inequality cell decomposition semi algebraic system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
