论文部分内容阅读
通过回顾几何自动推理与几何软件的历史与研究现状，探讨了几何自动推理系统的发展，得出几何自动推理系统应向网络化发展的结论。
几何自动推理系统发展研究
【摘 要】
：
通过回顾几何自动推理与几何软件的历史与研究现状，探讨了几何自动推理系统的发展，得出几何自动推理系统应向网络化发展的结论。
【机 构】
：
广州大学计算机科学与教育软件学院
【出 处】
：
山西广播电视大学学报
【发表日期】
：
2010年3期
其他文献
初中数学几何教学重在＂题型＂的归纳与总结,通过对中考试题的剖析,提取其背后的几何＂基本图形＂,以及题型组织形式,从而归纳出该类＂题型＂,再对实际数学解题中的＂类似＂题目对比探究,进一
采用抽样调查、访谈的方式,以《沙漠与绿洲气象》的作者调查为例,分析了作者投稿心理、阅读行为、意见与建议等情况,对新时期新环境下编辑决策和创造性开展编辑工作具有重要
在现代远程开放教育中，教学资源和学习支持服务是保证教学质量的两大重要支柱。如何建设应用专科公共英语的网络资源是远程开放教育专科英语教学面临的一个重要课题。
朱熹的诗学把诗教置于核心地位,强调诗歌创作必须遵循中和的审美标准,其实质就是坚守儒家发乎情、止乎礼义的创作原则。朱熹很重视诗教对于诗歌创作的导向作用,他在阐扬诗教