Helping Solve Mathematics Competition Problems Using Computer Technology