Herleitung und Implementation eines Verfahrens zur verifizierten Bestimmung von Eigenwerten linearer Differenzengleichungen | lit.salon