PhD project with the ultimate goal of formalising results about slopes of compact Hecke operators of quaternionic modular forms. First step is formalising Newton polygons.
WilliamCoram/Project
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
PhD project with the ultimate goal of formalising results about slopes of compact Hecke operators of quaternionic modular forms. First step is formalising Newton polygons.