Computational Mathematics and Literate Programming