Methoden der mathematischen Beweisführung in der geometrischen Topologie