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 .
Kaedah Wu adalah kuat untuk teorem lengkap membuktikan dalam geometri asas, dan menyediakan proses keputusan mekanikal untuk kelas tertentu masalah. Kaedah Wu adalah kuat untuk teorem lengkap membuktikan dalam geometri asas dan menyediakan proses keputusan mekanikal untuk kelas masalah tertentu.