A lot of [Rich Schwartz][1]'s work begins with computer experiments.

Perhaps most notably is his proof that a triangle whose largest angle is less than 100 degrees has a periodic billiard trajectory.


  [1]: http://www.math.brown.edu/~res/