The top documents tagged [rigorous math content]