Wu 's method is powerful for complete theorem proving in elementary geometry , and provides a mechanical decision process for certain classes of problem .
The method of Wu is powerful for the complete theorem proving in elementary geometry and provides a mechanical decision process for certain problem classes .