| 平面几何中复杂表达式的自动推理 |
| |
| 引用本文： | 周文科,陈薇,蓝华. 平面几何中复杂表达式的自动推理[J]. 中国水运, 2006, 6(6): 54-55 |
| |
| 作者姓名： | 周文科 陈薇 蓝华 |
| |
| 作者单位： | 广州航海高等专科学校计算机与信息工程系 |
| |
| 摘 要： | 在目前的平面几何教学软件中,没有实现对表达式的推理。本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程。
|
| 关 键 词： | 自动推理 可读证明 表达式 |
| 文章编号： | 1006-7973(2006)06-0054-02 |
Expression Reasoning in Automated Reasoning |
| |
| Zhou Wen-ke,Chen Wei,Lan Hua. Expression Reasoning in Automated Reasoning[J]. China Water Transport, 2006, 6(6): 54-55 |
| |
| Authors: | Zhou Wen-ke Chen Wei Lan Hua |
| |
| Affiliation: | Zhou Wen-ke Chen Wei Lan Hua |
| |
| Abstract: | Expression Reasoning doesn' t implement in Educational Software now. This thesis gives a try on this field and puts forward an approach that can present a process of readable proof of expression propositions. |
| |
| Keywords: | Automated Reasoning Readable Proofs Expression |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
