WebMIaS:提供MIaS的Web界面

WebMIaS - Web界面 是一个网络接口。 WebMIaS接受结合文本查询的TeX或MathML表示法的数学查询。 TeX查询可即时转换为MathML。 结果包含匹配片段。 用法 ，将您的数据集放置到名为dataset/的目录中，并使用 Docker映像为您的数据集建立索引： docker run -v " $PWD " /dataset:/dataset:ro -v " $PWD " /index:/index:rw \ --rm miratmu/mias 接下来，部署 Docker映像： docker run -v " $PWD " /dataset:/dataset:ro -v " $PWD " /index:/index:ro \ --rm --name webmias -d -p 127.0.0.1:8888:8080 miratmu/webmia