Mathematics in Computing