几何定理机器证明研究展望

几何定理的机器证明在自动推理的研究中占有重要的地位。今后１０到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有显著的进展。几何问题机器求解的研究成果，会在实际应用中发挥更大的作用。     

关于点共线及线共点问题的探讨

本文将介绍用帕斯卡定理、布利安双定理、德萨格定理、帕普斯定理、对偶原理等,证明有关点共线和线共点的问题。     

利用三点共线巧解数列问题

简要述叙了利用三点共线巧解数列问题方法.     

机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》

1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著《几何定理机器证明的基本原理》(以下简称《原理》)一书,可以说是奠定了几何机械化体系的基础。它可以与《几何基础》媲美,成为机械化数学的典范著作。     

解决初中几何最值问题的三种方法

在解决平面几何问题时,学生经常会遇到求线段或线段和的最值问题。遇到这类题目时,学生通常不知从何下手。其实,解决这类问题最常见的思路是“两点之间线段最短”“点到直线的距离垂线段最短”及“三角形两边之和大于第三边”。