MioGatto:面向数学标识符的接地注释工具 系统要求 Python3(3.5或更高版本) 具有MathML支持的Web浏览器(用于GUI批注系统) 推荐使用 安装 一键安装所有依赖项: $ python -m pip install -r requirements.txt 如果您不想将依赖项安装到系统中,请考虑使用 。 项目结构 该存储库中的文件 MioGatto的所有组件都包含在此存储库中: lib/包含项目库。 server/包含server/的实现。 static/包含客户端的实现。 tools/包含我们的实用Python脚本。 文件不在此存储库中 另一方面,由于arXMLiv数据集的NDA约束,注释数据未包含在此存储库中。 该数据已作为作为被许可。 请考虑加入以获取数据集。 arxmliv/包含来自arXMLiv数据集的原始文档 data/包含注释数据 sourc