Notes Bientôt disponible
Notes de travail et écrits sur l'algèbre, la théorie des nombres et la formalisation.
Feng-Cheng Frankie Wang
Étudiant en mathématiques pures · Département de mathématiques, Imperial College London.
Je suis étudiant en master de mathématiques pures à Imperial College London. Mes intérêts portent sur l'algèbre, la théorie algébrique des nombres, les mathématiques formalisées et la physique mathématique.
Ce site sert d'index pour mon travail académique, mes notes en cours et quelques petits projets logiciels. Pour me contacter, mon adresse e-mail est ci-dessous.
Académique
Intérêts de recherche et parcours universitaire.
- Théorie algébrique des nombres. Théorie du corps de classes, méthodes p-adiques et arithmétique des corps de nombres.
- Mathématiques formalisées. Lecture et écriture de preuves dans Lean 4 / mathlib, en algèbre et théorie des nombres.
- Physique mathématique. Un intérêt naissant pour les structures algébriques et géométriques des théories physiques.
Blog
Articles plus longs sur les mathématiques, la formalisation et mes outils.
TODO — le blog arrive bientôt.
Ressources
Notes, CV, lectures et modèles — rassemblés au même endroit.
CV Bientôt disponible
CV académique et courte biographie.
Liste de lecture Bientôt disponible
Livres et articles de mathématiques que je lis ou recommande.
Notes de cours Bientôt disponible
Notes des cours d'Imperial, en LaTeX.
Modèle de lettre de recommandation DUT ↗
Un modèle LaTeX pour les lettres de recommandation de Dalian University of Technology.
Projets
Le code sur lequel je travaille, entre formalisation académique et logiciels généraux.
Académique
Logiciel
Contact
Le mieux est de m'écrire par e-mail.
- Email · contact@frankie.wang
- GitHub · @FrankieeW (principal) · @WangFrankie (académique)