The top documents tagged [mathematical rigorhowever]