Title: Computer help in mathematical problem solving