TY - BOOK AU - Eckmann J P AU - Koch H AU - Wittwer P TI - Computer-assisted proof of universality for areapreserving maps U1 - 510 PY - 1984/// CY - N Y PB - AMS KW - Mathematics ER -