Mizar 数学数据集
收藏超神经2024-04-16 更新2024-05-15 收录
下载链接：
https://hyper.ai/cn/datasets/30947
下载链接
链接失效反馈官方服务：
资源简介：
Mizar Mathematical Library (MML) 由 Mizar Articles 构成，以下两篇文章构成了该数据集的基础。
Mizar Mathematical Library (MML) consists of Mizar Articles, and the following two articles form the foundation of this dataset.
创建时间：
2024-04-16
搜集汇总
数据集介绍
背景与挑战
背景概述
Mizar 数学数据集基于Mizar Mathematical Library (MML)，这是一个使用Mizar语言构建的数学形式化库，包含广泛的数学定理和证明，旨在支持自动化定理证明和形式化推理。该数据集来源于Mizar项目，覆盖逻辑、代数、分析、几何等多个数学领域。
以上内容由遇见数据集搜集并总结生成
