笔记 即将上线
关于代数、数论与形式化的工作笔记与写作。
Feng-Cheng Frankie Wang
纯数学方向研究生 · 数学系, Imperial College London.
我是 Imperial College London 纯数学硕士学生，目前的兴趣方向是代数、代数数论、形式化数学和数学物理。
这里用作我学术工作、笔记和小工具项目的索引。如果想联系我，可以发邮件到下方地址。
学术
研究兴趣与学习经历。
- 代数数论. 类域论、p-adic 方法，以及数域的算术。
- 形式化数学. 用 Lean 4 / mathlib 阅读和书写代数与数论中的证明。
- 数学物理. 对物理理论背后代数与几何结构的持续兴趣。
博客
关于数学、形式化以及我所做工具的长文。
TODO —— 博客即将上线。
资源
笔记、简历、阅读清单和模板，集中收录在一处。
简历 即将上线
学术简历与简短介绍。
阅读清单 即将上线
我正在读或推荐的数学书籍与论文。
讲义 即将上线
Imperial 课程的 LaTeX 讲义。
大工推荐信模板 ↗
大连理工大学推荐信的 LaTeX 模板。
numbertheory.cc ↗
展示二次数域与 Lean 形式化验证工作的个人数论网站。
项目
我在做的代码项目，分为学术形式化和通用软件两类。
联系
最方便的联系方式是邮件。
- Email · contact@frankie.wang
- ORCID ·
https://orcid.org/0009-0003-3705-1549 - GitHub · @FrankieeW (日常) · @WangFrankie (学术)