Miscellaneous notes
Does additive noise destroy a pitchfork bifurcation? (pdf)
Fixed points, degree, index and all that… (pdf)
How to win at JENGA (pdf)
Quantum Information Theory (pdf)
Formalisation in LEAN
The Heisenberg uncertainty principle (pdf)
Von Neumann’s proof of the Radon-Nikodym theorem (pdf)
The Banach fixed point theorem (pdf)
Computing projects
Deep learning Sumerian translation and recognition (pdf, )
Gene-based classification of Hypoxia in cancer cells (code)
Monte Carlo simulation of the 3-dimensional Ising model (code)
Evolutionary algorithms to find minimal surfaces (code)
Pilot Machine Learning project (code)
What makes a winning NBA team? (pdf, )