Pinned Repositories
Groups_of_ord_psq
Proof in Lean that all groups of order p² (p prime) are abelian.
IB_AS_GS_Notes
Live notes from IB tutoring.
m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
MATH50009
Fork of the MATH50009 repository.
mathlib4-SU-Theory
An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).
Presentations
A repository of Beamers for talks and presentations I've given.
prob-workshop-sept
RepTheoryEPFL
Notes (in English) for MATH-314 (Representation Theory of Finite Groups) taught at EPFL in Spring 2024. Work in progress, being written as the course progresses.
SU-Theory-in-python
An attempt to implement the basics of Shestakov-Umirbaev Theory in python as part of a group research project for university.
thefundamentaltheor3m's Repositories
thefundamentaltheor3m/SU-Theory-in-python
An attempt to implement the basics of Shestakov-Umirbaev Theory in python as part of a group research project for university.
thefundamentaltheor3m/Groups_of_ord_psq
Proof in Lean that all groups of order p² (p prime) are abelian.
thefundamentaltheor3m/m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
thefundamentaltheor3m/MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
thefundamentaltheor3m/prob-workshop-sept
thefundamentaltheor3m/RepTheoryEPFL
Notes (in English) for MATH-314 (Representation Theory of Finite Groups) taught at EPFL in Spring 2024. Work in progress, being written as the course progresses.
thefundamentaltheor3m/IB_AS_GS_Notes
Live notes from IB tutoring.
thefundamentaltheor3m/MATH50009
Fork of the MATH50009 repository.
thefundamentaltheor3m/mathlib4-SU-Theory
An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).
thefundamentaltheor3m/Presentations
A repository of Beamers for talks and presentations I've given.
thefundamentaltheor3m/Trans4m8-V1