PulseAugur
中
实时 11:29:01
实体 Bin Dong

Bin Dong

PulseAugur coverage of Bin Dong — every cluster mentioning Bin Dong 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_352879 ·

    提出使用 LeanProver 进行数学重组的新框架

    一篇题为《数学的现代重组》的论文,由 Bin Dong 及同事撰写,提出了一种构建数学知识的新框架。该工作利用了 LeanProver 系统,表明其侧重于数学的形式化验证和计算方面。