Mathematics solves problems by pen and paper. CS helps us to go far beyond that