PulseAugur
中
实时 10:20:42
实体 Jordan curve theorem

Jordan curve theorem

PulseAugur coverage of Jordan curve theorem — every cluster mentioning Jordan curve theorem across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_122977 ·

    研究人员跨证明助手对乔丹曲线定理进行再形式化

    研究人员详细介绍了三种再形式化实例，即形式化证明在不同证明助手之间进行翻译的过程。该研究专门关注乔丹曲线定理的再形式化，成功地将其从Mizar转换为Lean，并将HOL Light转换为Lean和Agda。分析旨在确定影响此类再形式化任务效率和实用性的关键设计选择。