Ongoing project (Master thesis project) formalizing formal group laws.
Adivisor : Dr. María Inés de Frutos-Fernández and Prof. Floris van Doorn
Reference:
· Silverman, The Arithmetic of Elliptic Curves (2nd edition) - Chapter 4.
· Lubin--Tate, Formal Complex Multiplication in Local Fields.
· Hazewinkel, Formal Groups and Applications. Start with Chapters 1 and 2. Later you can look at some parts of Chapters 4 and 6.