Title: Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen