Bo Xu, Yong Xu, Jiaqing Liang, Chenhao Xie, Bin Liang, Wanyun Cui, and Yanghua Xiao. CN-DBpedia: A Never-Ending Chinese Knowledge Extraction System. In International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, pp. 428-438. Springer, Cham, 2017.
| 中文名 | 证明 | |
| 射影定理 | 可以只用勾股定理来证明 | |
| 归纳推理 | experimental mathematics | |
| 类型 | 数学术语 |