DynaMoW公司 swMATH ID: 13562 软件作者： Chyzak，Frédéric；亚历克西斯·达拉斯 描述： 使用Camlp4在web上呈现动态数学：DynaMoW，一种OCaml语言扩展，用于在运行时生成数学内容及其在web上的表示。我们报告了编程工具DynaMoW的设计和实现，该工具用于控制在web上显示的交互式和增量数学计算。该工具是使用Camlp4作为OCaml的语言扩展实现的。为计算机代数系统编写的数学代码片段以及数学web文档片段直接自然地嵌入OCaml代码中。基于DynaMoW的应用程序由独立的web服务组成，其参数类型由OCaml扩展检查。DynaMoW上的两个在线数学百科全书实现说明了这种方法。 主页： http://ddmf.msr-inria.inria.fr/DynaMoW网站/ 关键词： 数学百科全书;元编程;报价;古迹;web服务 相关软件： OCaml公司;凸轮轴4;组织环境信息系统 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用Camlp4在web上呈现动态数学：DynaMoW，一种OCaml语言扩展，用于在运行时生成数学内容及其在web上的表示。 兹比尔1323.68545Chyzak、Frédéric;亚历克西斯·达拉斯 2011 2位作者引用 1 Chyzak、Frédéric 1 亚历克西斯·达拉斯 0连载引用 在2个字段中引用 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文