登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Zorn's Lemma (tex)
Zorn's Lemma (tex)
收藏
Figshare
2016-01-11 更新
2026-04-08 收录
数学定理证明
集合论研究
数据链接:
https://figshare.com/articles/dataset/Zorn_Lemma_tex_/678324/7
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
Short proof of Zorn's Lemma. This is the tex file. Pdf file: link below.
应用场景:
提供机构:
Pierre-Yves Gaillard
创建时间:
2013-06-25
相关数据集
hoskinson-center/minif2f-lean4
数学定理证明
形式化验证
--- license: mit --- A port of [miniF2F](https://github.com/facebookresearch/miniF2F) to Lean 4.
Hugging Face
2023-05-03 更新
30
0
Zorn's Lemma
We give a short proof of Zorn's Lemma. (Pdf file. Tex file: link below.)
Figshare
2016-01-11 更新
8
0
hanwenzhu/test-minictx-view
数学定理证明
形式化数学
miniCTX是一个用于神经定理证明的数据集,包含了不同配置的验证集和测试集。每个数据条目包括定理陈述、前序文件内容、元数据信息等。数据集适用于研究如何在上下文中进行定理证明。
Hugging Face
2025-02-08 更新
7
0
ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
数学定理证明
机器学习
该数据集包含多个特征,如commit、file_path、full_name等,这些特征的名称和数据类型在features部分列出。数据集被分为train和test两个部分,每个部分的字节大小和示例数量也有详细说明。此外,还提供了数据集的下载大小和总大小。
Hugging Face
2024-12-05 更新
10
0
Excerpts from "Set Theory and the Continuum Hypothesis" by Paul Cohen (pdf)
集合论
连续统假设
We give some striking excerpts from the book "Set Theory and the Continuum Hypothesis" by Paul Cohen. (This is a pdf file. Tex file: link below.)
Figshare
2016-01-11 更新
8
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广