공학자를 위한 수학 문제의 대화형 형식 명세

학생들이 텍스트와 그림으로 표현된 수학 문제를 대화형으로 형식화하여 자동화된 문제 해결 지원을 받을 수 있도록 하는 시스템을 설계하고 구현하였다.