论文标题
Mizar数学库的集成网络平台
An Integrated Web Platform for the Mizar Mathematical Library
论文作者
论文摘要
本文报告了托管Mizar数学库（MML）的Web平台的开发。近年来，正式的数学库的规模已大大增加，这导致人们对工具的需求不断增长，以支持这些库的有效且全面的浏览，搜索和注释。该平台实现了Wiki功能，以将注释添加到HTMLIED MML，三种类型的搜索功能（文章，符号和定理），以及一个显示MML依赖关系图的函数。该平台的设计具有一致性，可扩展性和互操作性，作为长期使用的首要任务。
This paper reports on the development of a Web platform to host the Mizar Mathematical Library (MML). In recent years, the size of formalized mathematical libraries has been drastically increasing, and this has led to a growing demand for tools that support efficient and comprehensive browsing, searching, and annotation of these libraries. This platform implements a Wiki function to add comments to the HTMLized MML, three types of search function (article, symbol, and theorem), and a function to show the dependency graph of the MML. This platform is designed with consistency, scalability, and interoperability as top priorities for long-term use.
