Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen

by Martin Ohsmann