数学教学系统中手写输入的使用:PAT2Math的用例| IEEE会议出版物| IEEE Xplore