科学的机械化：以多级Proj构造的精简形式化为例

334 主题	0 回帖	1027 积分

发表于 2025-9-21 14:56:17 | 显示全部楼层 |阅读模式

我们在Lean4中形式化了多分级Proj构造，展示了机械化数学和形式化。

更新时间: 2025-09-18 16:19:41

领域: cs.LO,cs.AI,math.AG

下载: http://arxiv.org/abs/2509.15116v1

GMT+8, 2025-11-1 18:16 , Processed in 0.076974 second(s), 21 queries .

Powered by Discuz! X3.5

		自动登录	找回密码
密码			立即注册