Mathematical Applications in Computer Science.