The top documents tagged [rigorous mathematics]