INRIA (Rocquencourt, Prance);
LIP6 (Paris, France);
mathematical encyclopedias; quotations; an-tiquotations; metaprogramming; web services;
机译:使用camlp4在网络上展示动态数学:DynaMoW,OCaml语言扩展,用于在运行时生成数学内容及其在网络上的呈现
机译:Web 2.0中表示本体,语言,数学模型和本体Web服务器项目的级别
机译:粘着和干燥仿真器上的分离和动力学数学建模
机译:使用Camlp4在网上呈现动态数学:Devonicow,用于数学内容的运行时生成的OCAML语言扩展及其在Web上的演示文稿
机译:通过英语学习者和基于Web的辅导系统解决数学单词问题。
机译:mathFISH一种使用基于热力学的数学模型进行荧光原位杂交的寡核苷酸探针的计算机电子评估的网络工具
机译:使用camlp4在网络上呈现动态数学:DynamoW,一种OCaml语言扩展,用于运行时生成数学内容及其在网络上的呈现