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