|
|||||
|
|
| 三角不等式的自动证明 | |
| 引用本文： | 陈世平,张景中.三角不等式的自动证明[J].四川大学学报(自然科学版),2003,40(4):686-690. |
| 作者姓名： | 陈世平 张景中 |
| 作者单位： | 1. 四川大学信息管理系,成都,610065;中国科学院成都计算机应用研究所,成都,610041 2. 中国科学院成都计算机应用研究所,成都,610041 |
| 摘 要： | 作者设计并实现了一个将三角函数转化为有理分式的高效算法，从而可将三角不等式化为有理不等式来证明，并保证了其可读证明的自动生成．讨论了算法的实现技术，分析了其复杂度与输出结果． |
| 关 键 词： | 可读证明 计算机符号代数 变量归一算法 智能教育软件 |
| 文章编号： | 0490-6756(2003)04-0686-05 |
Automated Proving of Triangular Inequality |
|
| Abstract: | |
| Keywords: | readable proof computer algebra indeterminate-normalization algorithm intelligent CAI software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |