Programming in Mathematics