Mathematics and Programming