Die Methode von Wu ist für den vollständigen Theorembeweis in der Elementargeometrie geeignet und bietet einen mechanischen Entscheidungsprozess für bestimmte Problemklassen.
Die Methode von Wu ist leistungsfähig für den Nachweis mechanischer Theoreme in der Elementargeometrie und bietet einen vollständigen Entscheidungsprozess für bestimmte Problemklassen.