The top documents tagged [existing rigorous simulations]