Sentence 1: The method of Wu is powerful for the complete theorem proving in elementary geometry and provides a mechanical decision process for certain problem classes .
Sentence 2: Wu 's method is powerful for mechanical theorem proving in elementary geometry , and provides a complete decision process for certain classes of problem .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?