Beweis von Algorithmen mit polynomieller Laufzeit in der analytischen Zahlentheorie