Coding in Mathematics