【文件属性】：
文件名称：WebMIaS:提供MIaS的Web界面
文件大小：2.12MB
文件格式：ZIP
更新时间：2021-05-09 17:06:30
HTML
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
【文件预览】：
WebMIaS-master
----Dockerfile(130B)
----.gitignore(9B)
----README.md(4KB)
----pom.xml(4KB)
----.github()
--------workflows()
----test()
--------no-match.xhtml(110KB)
--------exact-match.xhtml(84KB)
--------fuzzy-match.xhtml(38KB)
----LICENSE(11KB)
----.docker()
--------daemon.json(27B)
----script()
--------github-common(1KB)
--------github-configure(296B)
--------github-build(66B)
--------github-test(699B)
--------github-publish(65B)
----src()
--------main()
----nb-configuration.xml(2KB)
----mias_instrukce.txt(3KB)
----setenv.sh.sample(4KB)