期刊文献+

谈谈计算机怎样解几何题 被引量:1

下载PDF
导出
摘要 近几年,我们在向中学老师介绍信息技术的时候,不少老师对计算机自动解几何题表示出强烈的兴趣,想了解得更多一些.关于这个问题,笔者曾写过一本科普读物(文[1]),但考虑到该书已经脱销,读者难以买到;再加上近几年智能教育软件又有了新进展,所以很有必要再来谈谈这个问题.
出处 《数学教学》 2008年第8期3-8,共6页
  • 相关文献

参考文献1

  • 1Shang-Ching Chou,,Xiao-shan Gao,Jing-zhong Zhang.Machine Proofs in Geome- try:Automated Production of Readable Proofs for Geometry Theorems[]..1994

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部