实体 Hannah Fechtner

Hannah Fechtner

PulseAugur coverage of Hannah Fechtner — every cluster mentioning Hannah Fechtner across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_356788 · Nov 13 · 19:14

在Lean中形式化Dehornoy的子词逆转算法

该条目详细介绍了在Lean证明助手内形式化Dehornoy的子词逆转算法。由Hannah Fechtner撰写的这项工作侧重于braid群及其性质。它被标记了与Lean、数学和数学人工智能相关的关键词。