Title: A computer-assisted proof of universality for area-preserving maps
Subjects: Data processing, Error analysis (Mathematics), Hamiltonian systems, Mappings (Mathematics), Error-correcting codes (information theory)