The top documents tagged [rigorous numerical analyses]