论文部分内容阅读
张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械化的思想．实现了几何定理可读性证明的可视化。下面将介绍如何利用超级画板来真正地推导证明“五点共圆”．而更重要的是该证明的过程完全由计算机来完成。
用超级画板证“五点共圆”
【摘 要】
：
张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械化的思想．实现了几何定理可读性证明的可视化
【机 构】
：
烟台第十三中学,山东烟台,264000
【出 处】
：
考试周刊
【发表日期】
：
2004年期
其他文献
1994～1995年度河南省小麦生育期间遭受到春冻、干旱以及纹枯病、蚜虫、红蜘蛛等多种自然灾害和病虫害的危害,造成全省小麦总产比1994年减产,有的地、市减产达25％以上。减产的
1996年11月初至12月下旬,中国记者杂志社和中国地市报研究会联合开展了一次地市报版式设计大赛,共收到近200家报社选送的近千个一版版面,12月28日评选揭晓。嘉兴日报(12月9日