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.
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.