|国家科技期刊平台
| 注册
首页|期刊导航|数学教育学报|几何机器明证引发的思考

几何机器明证引发的思考

张景中 彭翕成 邹宇

数学教育学报2020，Vol.29Issue(1)：1-5,5.
✕
数学教育学报2020，Vol.29Issue(1)：1-5,5.

几何机器明证引发的思考

Thinking Inspired by Geometric Machine Certificate

张景中 1彭翕成 2邹宇1

作者信息

  • 1. 华中师范大学国家数字化学习工程技术研究中心,湖北武汉 430079
  • 2. 广州大学 计算科技研究院,广东广州 510006
  • 折叠

摘要

关键词

人工智能/教育应用/几何定理/机器明证/知识表示和推理

分类

社会科学

引用本文复制引用

张景中,彭翕成,邹宇..几何机器明证引发的思考[J].数学教育学报,2020,29(1):1-5,5.

基金项目

国家自然科学基金项目——点几何及其机器证明(11701118) （11701118）

数学教育学报

OA北大核心CSSCICSTPCD

1004-9894

访问量0
|
下载量0
段落导航相关论文