Using Computers in Mathematics