Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen | lit.salon