National Engineering Research Center for E-Learning Central China Normal University Wuhan China;
Geometry; Mathematical model; Semantics; Formal languages; Natural languages; Education; Nickel;
机译:解决显式算术单词问题和证明平面几何定理的框架
机译:解决显式算术词问题的框架,并证明平面几何定理
机译:基于语义-语义模型的自然语言几何问题的自动理解和形式化
机译:了解使用语法语法模型的显式算术词问题和显式平面几何问题
机译:钻头的计算建模:一种通过耦合旋转刚体的合成来再现井底几何形状的新方法和一个二阶显式积分器。
机译:通过金属配位几何的显式建模预测锌结合蛋白的结构
机译:平面波几何中诺伊曼系数的显式