Mathoverflow 17560 to Tao's Optimization constant 1a…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.