精选优质文档-倾情为你奉上Mechanical Theorem Proving in GeometryGao Jun-yu*, Zhang Cheng-dongCangzhou Normal University Hebei province,Cangzhou city,College Road, . 0317- e-mail: gaojunyu8818AbstractMechanical theorem proving in geometry plays an important role in the research of automated reasoning. In this paper, we introduce three kinds of computerized methods for geometrical theorem proving: the first is Wu s method in the international community, the second is elimi
