数学Web搜索

关于

MathWebSearch系统（MWS）是一个基于内容的数学公式搜索引擎。它使用一种从自动定理证明中派生出来的技术为MathML公式编制索引：替换树索引。该软件根据GNU通用公共许可证版本3进行许可。

演示

可以在以下位置找到http://search.mathweb.org特别是，arXiv演示位于http://ar5search.kwarc.info

内容

• 分析/用户定义的分析源文件
• 配置/配置文件
• 数据/用于运行MWS演示的数据
• 文件/MWS用户文档
• 脚本/实用程序脚本
• 型钢混凝土/源代码
• 测试/测试源代码和数据
• 第三方/第三方源代码
• CMakeLists.txt文件CMake生成脚本
• 许可证分发此软件所依据的许可证副本
• 生成文件生成生成文件
• 自述.md项目文档概述
• TODO公司尚未成为门票的项目TODO

编译和测试

通过CMake自动编译源树。您可以构建源代码使用以下命令：

制作

二进制文件内置于垃圾桶/目录，而文档位于箱子/文件.要选择或取消选择要编译的组件，请使用：

配置内核

要运行测试，请使用：

进行测试

最后，使用以下命令安装二进制文件：

进行安装

依赖关系

要构建此软件，需要：

• g++（带pthread）（>=4.4）
• cmake（>=2.6）
• 制作
• pkg配置

核心MathWebSearch可执行文件需要：

• libmicrohttpd（>=0.4）
• libxml2
• 库级数据库
• libsnapy公司
• libjson-c语言
• libjson0-dev开发

爬网程序可执行文件需要：

• libhtmlcxx-dev数据库
• 利比亚迪夫
• libcurl4-gnutls-dev文件

文档目标要求：

• 多西根

测试目标要求：

• 网猫
• 卷曲

配置步骤需要：

• cmake电流-gui

要在足够新的Debian/Ubuntu机器上安装所有构建、运行时和测试依赖项，您可以使用：

apt-get安装g++cmake make pkg-config libmicrohttpd12 libxml2 libleveldb1v5\libsnapy1v5 libjson-c-dev libhtmlcxx3v5 libgnutlsxx28 libicu57 libcurl3-gnutls

要在Mac OS上安装所有构建、运行时和测试依赖项，可以使用自制软件:

#安装所有依赖项brew安装gcc make cmake pkg-config libmicrohttpd libxml2 leveldb snapy json-c\htmlcxx icu4c gnutls网猫卷发#为了找到icu4c，还要运行：brew链接--强制icu4c

生成文件目标

• 全部的构建项目和测试的所有二进制文件
• 清洁的清除生成
• 配置打开cmake CLI配置工具
• 文件生成项目文档
• 测试运行项目测试
• 帮助显示目标的完整列表
• 安装安装多功能软件开发,文档2收获,mws-配置在您的系统上

用法

要使用爬虫，需要使用定义的网站启动爬虫，要爬网和可选的站点数：爬网和链接的开始爬行时跳过。

另一种收获方式是通过文档2收获。这需要参数XHTML文档并对其进行爬网，创建收获文件。收件人抓取XHTML文档的存储库，使用：

找到-name*.xhtml|xargs-n 10 bin/docs2harves-o/path/to/harvests

可执行文件多功能软件开发启动主MWS服务器。这将作为参数a收获包括用于加载文档数据的路径和其中数据通过HTTP提供。它接受HTTP POST请求MWS查询和回报MWS答案集.

bin/mwsd-I<收获包含目录>-p<端口号>

有关其他选项，请参见：

bin/mwsd--帮助bin/docs2harvest--帮助bin/mws-config帮助

设置或删除多功能软件开发作为全局SysV服务，使用（作为根用户）：

mws-config create-p 9090-i数据/zbl-zbldemomws-config启用zbldemo

这将部署MathWebSearch来为ZBL演示收获在端口9090上。监视、启动或停止服务，使用

服务mwsd_zbldemo[start|stop|status|…]

输出记录到/var/log/mwsd_zbldemo.log.为不同的收获服务路径，创建您自己的配置并部署服务。

与Docker一起使用

此存储库包含用于使用MWS守护程序的Dockerfile。它可以作为mathweb搜索Docker Hub上的自动构建，使用如下：

docker运行-v/path/to/harvests:/data/-p 8080:8080 mathweb搜索/mathweb搜索

该映像配置为从/数据/端口8080上的卷。

版权

本项目中的软件（二进制文件和源代码）按“原样”发布，在GNU公共许可证版本3下。此许可证的副本可以在该项目的根目录中找到，在文件名LICENSE下。

信用

核心存储库中的大多数代码是由科尼利乌·克劳迪乌·普罗德斯库，在教授的监督下。迈克尔·科尔哈斯.有关开发人员的完整列表，请访问https://github.com/KWARC/mws/graphs/contributors网站

联系人

联系开发人员最简单的方法是使用MathWebSearch邮件列表.