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