프로그래머가 컴퓨터를 이용해서 수학적인 문제를 풀기 위한 연구