The evolution of mathematical software