Computer-assisted proofs for fixed point problems in Sobolev spaces.

Schenkel, Alain, Wehr, Jan, and Wittwer, Peter. "Computer-assisted proofs for fixed point problems in Sobolev spaces.." Mathematical Physics Electronic Journal [electronic only] 6 (2000): Paper No. 3, 67 p., electronic only-Paper No. 3, 67 p., electronic only. <http://eudml.org/doc/225057>.

@article{Schenkel2000,
author = {Schenkel, Alain, Wehr, Jan, Wittwer, Peter},
journal = {Mathematical Physics Electronic Journal [electronic only]},
keywords = {constructive analysis in Sobolev spaces; phase transitions in random media; discrete convolutions of splines},
language = {eng},
pages = {Paper No. 3, 67 p., electronic only-Paper No. 3, 67 p., electronic only},
publisher = {University of Barcelona},
title = {Computer-assisted proofs for fixed point problems in Sobolev spaces.},
url = {http://eudml.org/doc/225057},
volume = {6},
year = {2000},
}

TY - JOUR
AU - Schenkel, Alain
AU - Wehr, Jan
AU - Wittwer, Peter
TI - Computer-assisted proofs for fixed point problems in Sobolev spaces.
JO - Mathematical Physics Electronic Journal [electronic only]
PY - 2000
PB - University of Barcelona
VL - 6
SP - Paper No. 3, 67 p., electronic only
EP - Paper No. 3, 67 p., electronic only
LA - eng
KW - constructive analysis in Sobolev spaces; phase transitions in random media; discrete convolutions of splines
UR - http://eudml.org/doc/225057
ER -