Stav dette: Computers in mathematical research.