电子计算机的迅猛发展,使许多科技领域发生了惊人的变化,同时,以计算机为工具从事各项研究也越来越引起科学家的兴趣。使用计算机来实现几何定理证明是我国著名数学家吴文俊教授的一项重要发现。对于一类定理,找到合适的方法,或者说算法,按照它编制成计算机程序,使这类定理可以在计算机上机械地、自动地被证明 The rapid development of electronic computers has brought about dramatic changes in many fields of science and technology. At the same time, the use of computers as tools to engage in various research has also increasingly attracted the interest of scientists. The use of computers to achieve geometrical theorems proved to be an important finding of Professor Wu Wenjun, a well-known Chinese mathematician. For a class of theorems, find a suitable method, or algorithm, according to which it is programmed into a computer program so that such a theorem can be mechanically and automatically proven on a computer.