机译:使用camlp4在网络上展示动态数学:DynaMoW,OCaml语言扩展,用于在运行时生成数学内容及其在网络上的呈现
机译:交互式文档中的数学上下文
机译:关于OpenMath在交互式数学文档中的作用
机译:在交互式数学文档中编辑数学内容和演示标记
机译:对香港,中国大陆,新加坡和美国的八年级数学教科书中的代数内容,内容的组织和表示以及要解决的问题进行了分析。
机译:现实数学教育方法的有效性:数学表示在数学信念与问题解决之间的中介作用
机译:OmDoc是数学文档的开放标记格式(版本1.2
机译:数学公式的交互式编辑