SMS: Computers in mathematical research.