Translating mathematics into code