In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.

There is no data that can be displayed in a pie chart, that cannot be displayed BETTER in some other type of chart.

In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.

To be able to say that "if we change our point of view in the following way ... things are simpler" is always a gain.

Numerical quantities focus on expected values, graphical summaries on unexpected values.

An approximate answer to the right problem is worth a good deal more than an exact answer to an approximate problem.

When communicating results to non-technical types there is nothing better than a clear visualization to make your point.