PulseAugur
实时 00:18:49
实体 Mantel's theorem

Mantel's theorem

PulseAugur coverage of Mantel's theorem — every cluster mentioning Mantel's 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_167374 ·

    在Lean中形式化旗代数以进行图论证明

    研究人员在Lean证明助手内开发了Razborov的旗代数方法的机器检查形式化。这种形式化实现了一个编译器,可以将半定规划输出转换为可验证的代数证明。该系统已成功生成了七个Turán型上界的正式证明,包括Mantel定理和Erdős五边形定理,以及各种图结构的密度界。