消点法相关论文
近几年中考中，“二动点型最值问题”层出不穷、形式多样、方法各异.这类问题涉及两个动点，使问题显得扑朔迷离，往往处于填空、选择或......
质点几何定理机器证明一直以来都是自动推理领域的研究课题,其证明方法和研究成果都具有明显的应用价值。近年来,研究者们依据质点......
几何题千变万化，解无定法，这似乎已经成为两千年来人们的共识.但人们还是没有放弃，一直都在寻找一种“通法”.这里所说的通法，并不是说......
“双动点问题”是题中某一条线段的两个端点都在某个图形上运动的问题.而“求双动点线段最小问题”重点考查了学生的化归转化的数......
消点法是一种遵循“后出现的点先消去”原则的几何定理机械证明法，是一种化繁为简的化归方法^[1]。一言以蔽之，消点法的主要思路是“......
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提......
1946年电子计算机诞生。4年后的1950年波兰数学家塔斯基(Tarslci，1901-1983)证明：一切初等几何和初等代数范围的命题，都可以用机械化......
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,......
数学教育面临的困难是多方面的。其中重要的一个方面是数学本身难学。只靠数学教育的研究不可能完全解决数学难学的问题。如果数学......
<正> 1998年,市场上出现了能证明几何定理的软件,能解决许多和中学课程范围内的题目难度相当的问题,并能给出传统风格的、易于理解......
数学教育的困难的主要原因之一是数学难学，其对策在于提倡教育数学．教育数学的重要发展是：系统面积方法、消点法、极限概念的非ε语言......
<正>在解析几何证明与计算中,我们常常设出点的坐标作为引参过渡的桥梁.设点容易,消点却得使出"洪荒之力",决非易事!本文就如何"消......
方程是初中代数课程的核心，“以方程为纲，以元为序”可以对初中代数内容进行重建．几何是初中数学的另一支柱内容，根据已有的研究，用面积......
