| 基于证明分析的机器发现系统的实现与应用 |
| |
| 引用本文： | 刘发贵.基于证明分析的机器发现系统的实现与应用[J].华南理工大学学报(自然科学版),1999,27(6):75-78. |
| |
| 作者姓名： | 刘发贵 |
| |
| 作者单位： | 华南理工大学电子与信息学院 |
| |
| 摘 要： | 为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。
|
| 关 键 词： | Tableau 证明分析演算 机器发现系统 数学发现 |
| 修稿时间： | 1998-10-19 |
THE REALIZATION OF A MACHINE DISCOVERY SYSTEM BASED ON PROVING ANALYSIS AND ITS APPLICATION |
| |
| Liu Fagui.THE REALIZATION OF A MACHINE DISCOVERY SYSTEM BASED ON PROVING ANALYSIS AND ITS APPLICATION[J].Journal of South China University of Technology(Natural Science Edition),1999,27(6):75-78. |
| |
| Authors: | Liu Fagui |
| |
| Abstract: | To realize the machine discovery system(MDS) based on paper, we have built a MDS using PROLOG. This paper introduces the realization technique of such a machine discovery system. It also gives the MDS some mathematics discovery examples. Thus, a useful machine discovery system is obtained. |
| |
| Keywords: | Tableau proving analysis calculus Tableau machine discovery system mathematics discovery |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
