Template:Richard W. Hamming Medal recipients/doc