Minh-Quoc Nghiem公司 数学搜索中数学表达式的语义丰富。 日本高等研究生院 2014 https://ci.nii.ac.jp/naid/500001024567 https://dl.ndl.go.jp/info:ndljp/pid/10342237 http://id.nii.ac.jp/1013/00004725/