The top documents tagged [rigor of interval calculations]