20、代数拓扑计算与推理系统及AG - 广群枚举研究

代数拓扑计算与推理系统及AG - 广群枚举研究

1. 研究成果概览

近期在数学研究领域有多项成果值得关注，以下是部分研究的简要介绍：
| 研究主题 | 页码 | 作者 |
| — | — | — |
| A System for Computing and Reasoning in Algebraic Topology | 295 | J´onathan Heras, Vico Pascual, and Julio Rubio |
| Learning2Reason | 298 | Daniel K¨uhlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, and Tom Heskes |
| A Formalization of the C99 Standard in HOL, Isabelle and Coq | 301 | Robbert Krebbers and Freek Wiedijk |
| Krextor – An Extensible Framework for Contributing Content Math to the Web of Data | 304 | Christoph Lange |
| System Description: EgoMath2 as a Tool for Mathematical Searching on Wikipedia.org | 307 | Jozef Miˇsutka and Leo Galamboˇs |

这些研究涵盖了代数拓扑的计算推理系统、学习推理方法、C99 标准的形式化、数学内容网络框架以及数学搜索