Wie werden neue mathematische Sätze gefunden? Standardwerkzeuge und ‘kultureller’ Hintergrund.