Herleitung und Implementation eines Verfahrens zur verifizierten Bestimmung von Eigenwerten linearer Differenzengleichungen

by Werner Otten