PulseAugur
中
实时 17:56:06
实体 Calderón uniqueness theorem

Calderón uniqueness theorem

PulseAugur coverage of Calderón uniqueness theorem — every cluster mentioning Calderón uniqueness 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_356581 ·

    使用 LeanProver 发布 Calderón 唯一性定理的正式证明

    研究人员 Cătălin I. Cârstea 和 Lauri Oksanen 发布了各向异性 Calderón 唯一性定理的正式证明。这项工作利用了 LeanProver 和 LeanLang，表明在数学研究中侧重于形式验证。