ProofMap · 数学分析结构版

证

ProofMap

数学教材先修地图

0 个节点 · 0 条依赖 每条自动边都有原文证据

书目

章节

显示的依赖

定理依赖（编号与命名引用）定义概念边指代引用（上述定理等） LLM 推断（v0.2，未启用）显示孤立节点（无依赖）

视图

边方向：A → B 表示学 B 之前要先会 A。
实线=定理依赖，虚线=定义概念，点线=指代。红色=人工确认或可疑环。

这个数据集没有可显示的节点。

定理依赖定义概念指代人工 / 环