19 citations · 32 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
q-bio.PE2023
Comparing intervention measures in a model of a disease outbreak on a university campus
Alex Best, Prerna Singh
A number of theoretical models have been developed in recent years modelling epidemic spread in educational settings such as universities to help inform re-opening strategies durin…
cs.LO2023
Fermat's Last Theorem for regular primes
Alex J. Best, Christopher Birkbeck, Riccardo Brasca +1
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an im…