Computer-assisted proofs for fixed point problems in Sobolev spaces. Schenkel, Alain; Wehr, Jan; Wittwer, Peter — 2000 Mathematical Physics Electronic Journal [electronic only]