Notes Coming soon
Working notes and writing on algebra, number theory, and formalisation.
Feng-Cheng Frankie Wang
Graduate student in pure mathematics · Department of Mathematics, Imperial College London.
I am a master's student in pure mathematics at Imperial College London. My interests are in algebra, algebraic number theory, formalised mathematics, and mathematical physics.
I use this site as an index for my academic work, notes in progress, and small software projects. If you want to get in touch, my email is below.
Academic
Research interests and education.
- Algebraic number theory. Class field theory, p-adic methods, and the arithmetic of number fields.
- Formalised mathematics. Reading and writing proofs in Lean 4 / mathlib, especially in algebra and number theory.
- Mathematical physics. A developing interest in the algebraic and geometric structures behind physical theories.
Blog
Longer posts on mathematics, formalisation, and the tools I build.
TODO — the blog is coming soon.
Resources
Notes, CV, reading, and templates — collected in one place.
CV Coming soon
Academic CV and short biography.
Reading list Coming soon
Mathematics books and papers I am reading or recommend.
Lecture notes Coming soon
Typed notes from Imperial courses, in LaTeX.
DUT recommendation letter template ↗
A LaTeX template for Dalian University of Technology recommendation letters.
Projects
Code I work on, split between academic formalisation and general software.
Academic
Software
Contact
The best way to reach me is by email.
- Email · contact@frankie.wang
- GitHub · @FrankieeW (main) · @WangFrankie (academic)