Home Online Mathematical Communication What's new Polymath15, third thread: computing and approximating H_t