Text this: Mathematics and computation in music