La méthode de Wu est puissante pour la démonstration complète de théorèmes 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 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.