The challenge of computer mathematics