The top documents tagged [mathematical proficiency]