作者：栾卿超级画板数学机械化几何定理几何画板平台软件智能教育可视化证明
摘要：张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械化的思想．实现了几何定理可读性证明的可视化。下面将介绍如何利用超级画板来真正地推导证明“五点共圆”．而更重要的是该证明的过程完全由计算机来完成。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《考试周刊》（CN：22-1381/G4）是一本有较高学术价值的大型周二刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《考试周刊》秉承“以创新促改革，以改革促发展”的办刊宗旨，坚持“质量第一，品牌第一”的办刊理念。刊社还聘请我国教育界和学术界的资深专家、知名学者为特约编审，严格审稿制度，杜绝学术不端行为。
省级期刊
人气 536434 评论 49
人气 400549 评论 51
人气 383443 评论 44
人气 363179 评论 56
