sentence1: La méthode de Wu est puissante pour la démonstration complète du théorème en géométrie élémentaire et fournit un processus de décision mécanique pour certaines classes de problèmes.
sentence2: La méthode de Wu est puissante pour la démonstration de théorèmes mécaniques en géométrie élémentaire et fournit un processus de décision complet pour certaines classes de problèmes.