MathML; Ontology; Searching tool; Semantic Web; XML;
机译:书评:数学与数学教育:寻求共同点。 Fried,M. N.和Dreyfus,T.(编辑)(2014)数学与数学教育:寻求共同点
机译:教育环境(物理空间和教育工具)对学与教数学的影响研究
机译:来自数学分析语料库的教育本体论的富集和人口
机译:数学本体和搜索工具的教育用途
机译:在P2P网络中使用本体驱动的对等配置进行语义路由和搜索。
机译:BioPrompt-box:用于在生物数据库中搜索的基于本体的聚类工具
机译:作为本体论改变者的实验计算:现代数学计算工具对数学本体论的影响