Exploratory experimentation and computation

Research mathematicians now use the computer in a variety of ways to draw pictures, inspect numerical data, manipulate expressions symbolically, and run simulations. However, it seems to us that there has not yet been substantial and intellectually rigorous progress in the way mathematics is presented in research papers, textbooks, and classroom instruction or in how the mathematical discovery process is organized.