Minh-Quoc Nghiem公司 乔瓦尼·约科·克里斯蒂亚托 Goran主题 爱泽昭子 哪一个更好：基于演示的还是基于内容的数学搜索？ 2014 abs/1405.3353 CoRR公司 http://arxiv.org/abs/11405.3353 db/journes/corr/corr1405.html#NghiemKTA14