几何定理可读证明的并行化方法

为了生成传统形式的几何定理可读证明，前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率，分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题，并在MPICH2下实现了并行前向推理算法，对算法的并行性能指标进行了测试。

Parallel Method for Geometry Theorem Readable Proving

To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary. In practice, the traditional algorithms still have problems about the efficiency for complex propositions. Attempted the parallel computation method to improve the efficiency, the partitioning, communication and the task -scheduling algorithm with the message - passing programming model are analyzed, Finally, implement the parallel forward reasoning algorithm with MPICH 2, the efficiency of algorithm through the parallel performance measures is tested .