Title: The use of computers in solving mathematical problems