人工智能时代的初等数学研究
基于使用工具的不同,文章将初等数学研究划分为"石器时代""农业时代""智能时代"三个阶段,智能时代需要智能工具,智能工具的产生取决于数学现代化的实现,其中数学机械化研究是实现数学现代化的关键.基于目前的数学机械化研究成果,结合中学数学的实际需求,文章列举了丰富的实例,涉及平面几何、 不等式、 三角函数等内容,充分展示人工智能在探索数学结论、 自动命题等方面的应用.
人工智能;初等数学;数学机械化;自动命题
2021-11-04（万方平台首次上网日期，不代表论文的发表时间）
共6页
1-5,10
