Mechanical Theorem Proving in Geometry
Gao Jun-yu, Zhang Cheng-dong · TELKOMNIKA Indonesian Journal of Electrical Engineering · 2012
Mechanical 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 elimination point method and the third is lower dimension method.