Jean Pierre Eckmann

A computer-assisted proof of universality for area-preserving maps