公共文化服务平台

郑焕: 作品数：15 被引量：37H指数：4; 供职机构：广州大学计算机科学与教育软件学院计算机教育软件研究所更多>>; 发文基金：国家自然科学基金广州市属高校科技计划项目中国科学院知识创新工程更多>>; 相关领域：文化科学自动化与计算机技术理学政治法律更多>>

合作作者

《中小学生数学能力心理学》中蕴含的解题思想被引量：9: 2010年; 克鲁捷茨基在著作《中小学生数学能力心理学》中对有数学天赋的学生在解题过程中体现出来的对题目最初定向的能力、概括数学材料的能力、简缩推理过程的能力、记忆数学材料的能力作了论述.学生是否有数学能力往往表现为能否顺利解决数学问题.解一道数学题有3个基本的心理活动阶段：收集解题所需的信息,对信息进行加工从而得出解法,保持这个解法的信息.影响解题顺利进行的主要因素有：概括数学材料、简缩推理过程、思维的灵活性和可逆性.; 朱华伟郑焕; 关键词：解题思想数学能力

简评威克尔格伦的《怎样解题》: 2008年; 波利亚的名著《怎样解题》已广为流传，但很少有人知道美国学者W.A.威克尔格伦也写了一本同名的关于解题理论的书。1959年，威克尔格伦在哈佛大学读书的时候，第一次了解到纽厄尔，克立夫·肖和西蒙在计算机模拟思维方面的开创性工作，于是开始努力了解和系统收集解题法。后来他到伯克来加州大学做研究生，; 郑焕朱华伟; 关键词：《怎样解题》美国学者波利亚

仿射质点几何的可读机器证明被引量：8: 2010年; 讨论并发展了能自动证明几何定理的质点几何方法,建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示,这种方法不仅效率高,多数证明的可读性也令人满意。; 邹宇郑焕张景中

奥林匹克数学解题研究: 数学奥林匹克其实就是一种解题的活动。我国对数学奥林匹克的研究已经颇有成就,产生一个数学新层面,称为竞赛数学,或奥林匹克数学。奥林匹克数学教育面对的一般是有数学天赋的学生,这些学生的思维敏捷,有很强的学习主动性,他们倾向于...; 郑焕; 关键词：奥林匹克数学思维过程; 文献传递

浅谈竞赛数学方法在高考数列题中的应用被引量：1: 2008年; 数学奥林匹克自发展以来，不但对发现和培养人才做出了卓越贡献，而且促进了数学知识和方法的普及与传播，中国数学奥林匹克委员会委员朱华伟教授在文献[1]中论及奥林匹克数学课程的教育价值时说到：“奥林匹克数学有利于中学数学课程内容的改革。; 蔡琳郑焕; 关键词：数学奥林匹克数列题高考数学知识课程内容

张景中的共边定理和一类几何命题的变形: 2008年; 张景中院士利用他提出的共边定理实现了计算机自动生成几何定理的可读证明．从张院士的几本关于面积法解题的著作中也可以看出共边定理作为一种传统的几何证明方法，也能收到简洁巧妙的效果．共边定理有一条有趣的性质：共边定理不依赖具体图形，只与某点是某两直线的交点有关．我们发现利用这条性质可以对一类几何命题进行变形．这类几何命题是：; 郑焕朱华伟; 关键词：几何定理几何命题自动生成面积法计算机

如何在高中数学课堂激发优等生对高等数学的学习兴趣被引量：9: 2015年; 1高等数学与初等数学中学生在数学课堂学习的初等数学是一门在理论和实践方面都很有意义的课程,同时也是高等数学的基础.很多学有余力的数学优等生对初中、高中的数学很有兴趣,知识方法也掌握得相当牢固,如果他们能进一步认真学习高等数学,其中会有很多人能够胜任理工科的研究与工作.但是,这些学生到了大学后,有很大一部分缺乏对高等数学的激情,并未发挥出他们在数学上的天赋,; 付云皓朱华伟郑焕; 关键词：代数元知识方法柯西不等式射影几何平面直角坐标系

SGARP中符号计算模块的实现及其应用: 2014年; 可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.; 张景中张传军郑焕饶永生邹宇; 关键词：PYTHON语言

可由用户持续发展的几何自动推理平台被引量：4: 2011年; 提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作图系统等六部分组成.在这个平台上,用户可以添加几何对象、谓词和规则,也可以综合使用多种推理方法进行推理.; 郑焕; 关键词：可持续性面积法