The top documents tagged [discrete metric identities]