【摘 要】
：
几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为出发点,提出了基于回路的向量可读证明新方
【机 构】
：
河南大学数据与知识工程研究所,华中师范大学国家数字化学习工程技术研究中心
论文部分内容阅读
几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为出发点,提出了基于回路的向量可读证明新方法,开发了机器证明新程序.该程序对常见的构造类型欧氏几何题目能快速作图,并依据题目类型的不同,分别用不同的向量方法对其进行自动推理,证明结果简短可读.经过大量实例测试,证明将向量用于几何自动推理是可行和高效的.与《超级画板》等中的证明器相比,文中算法在自动推理能力和证明过程可读性方面有较大提高.文中给出的基于向量的几何可读证明算法丰富了几何定理自动推理方法,并且具有应用于几何教学实践的价值.
其他文献
近年来,随着网络技术的飞速发展,互联网流量视频化的趋势日益明显,视频应用使互联网的可扩展性、可演进性、服务质量和网络安全面临诸多挑战.内容分发网络通过在应用与网络间
根据所建立的草砖房建筑能耗分析模型,利用能耗分析软件对中国辽宁省本溪市草砖房的全年采暖能耗进行了模拟计算.结果表明:该草砖房比普通砖房耗能低、保温效果好,冬季可节省
<正>中华民族文化艺术源远流长,既是世代祖辈千百年来的文化遗产,也是当代中国人民活在当下的艺术再创造。本文主要以深入研究与探讨对毛麻绣艺术作品传承的不断创新、丰富和
为了克服人工检测系统操作复杂、效率低、检测精度不高等缺点,提高防夹车窗控制器的生产效率及产品合格率,设计了一种防夹电动车窗控制器自动检测系统。该检测系统以89S52单
近年来,乌托邦研究日益活跃,这一现象与当前社会发展相关:资本主义前景如何?现代性的出路何在?"现时乌托邦"旨在根据当前的社会语境阐述乌托邦的意义和作用,"多种多样的乌托
为分析波纹管涵洞冻胀下的受力机理,利用大型有限元软件对多年冻土地区采用的金属波纹管涵洞进行力学性能分析,具体分析了在底面两端产生不同的冻胀量时,换填厚度、壁厚、上
综合服务型烟农专业合作社(以下简称"综合社")是烟草生产的新型组织形式,对推动现代烟草农业发展、提高烟农收入具有重要的作用。文章针对各烟区的特点,设计了3种综合社的运
农业科技人才是农业科技的载体、创新的关键,是农业科技进步和发展的根本。近年来,河南省委、省政府采取一系列政策措施,不断加强农业科技人才队伍建设,为农业和农村经济发展
诚信是《公民道德建设实施纲要》的基本内容之一,是我国残疾人竞技体育发展的道德基础。也是我国残疾人竞技体育生存和可持续发展的关键。我国残疾人竞技体育在发展过程中有
投资者作为资本市场的主体,其投资情绪的变化往往会对投资结果及整个交易市场产生重要影响,而如何客观合理地度量投资者情绪则成为实际研究中的重难点。考虑到以往使用单个指