...
机译:自然语言中平面几何问题的自动理解和形式化:监督方法
Cent China Normal Univ Natl Engn Res Ctr E Learning Wuhan Hubei Peoples R China;
Cent China Normal Univ Natl Engn Res Ctr E Learning Wuhan Hubei Peoples R China;
Cent China Normal Univ Natl Engn Res Ctr E Learning Wuhan Hubei Peoples R China;
Understanding geometry problems; formalized geometric propositions; relation extraction; automatic solving; relation identification;
机译:自然语言中平面几何问题的自动理解和形式化:监督方法
机译:自然语言作为分析证明过程的工具:平面几何证明的情况
机译:自然语言作为分析证明过程的工具:平面几何证明的情况
机译:平面几何定理自动证明的数值方法
机译:通过选择性自然语言处理自动词库发现:一种基于语料库的方法。
机译:对自然语言理解的统计模型的半监督学习
机译:GraaTp:一种用于自动定理证明的图论理论方法 平面几何