《中国学术期刊文摘》综述文摘选登

几何定理机器证明三十年张景中（电子科技大学与中国科学院成都计算机应用研究所自动推理联合实验室,成都610054;中国科学院成都计算机应用研究所,成都610041）几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展。对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法（消点法）、搜索法更能生成其可读的证明。