Werner OttenBooksComputergraphik und BildverarbeitungComputergraphik und BildverarbeitungHerleitung und Implementation eines Verfahrens zur verifizierten Bestimmung von Eigenwerten linearer DifferenzengleichungenAuthor data: Open Library