Mechanical Theorem Proving in Geometry

Gao Jun-yu (Cangzhou Normal University)
Zhang Cheng-dong (Cangzhou Normal University)

Indonesian Journal of Electrical Engineering and Computer Science
Vol 10, No 7: November 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. DOI: http://dx.doi.org/10.11591/telkomnika.v10i7.1451