|
|||||
|
|
| Bager第六图的完善 | |
| 引用本文： | 陈计,夏时洪,虞立军.Bager第六图的完善[J].宁波大学学报(理工版),1998(3). |
| 作者姓名： | 陈计 夏时洪 虞立军 |
| 作者单位： | 宁波大学数学系，中国科学院成都计算机应用研究所，浙江省鄞县古林镇 |
| 摘 要： | １９８９年发表的Ｂａｇｅｒ第六图，包含了关于三角形元素的５个负二次规范函数之间的４８个不等式。通过细致的分析，找出了其中遗漏的１２个基本不等式及其手工与机器证明。 |
| 关 键 词： | Bager第六图，三角形，负二次不等式，机器证明 |
PERFECTING THE BAGER'S SIXTH GRAPH |
|
| Chen Ji, Xia Shihong.PERFECTING THE BAGER''''S SIXTH GRAPH[J].Journal of Ningbo University(Natural Science and Engineering Edition),1998(3). | |
| Authors: | Chen Ji Xia Shihong |
| Abstract: | |
| Keywords: | Bager's sixth graph triangle negative quadratic inequlity mechanical proof |
| 本文献已被 CNKI 等数据库收录！ | |