About Alex Nelson

I work as a programmer, trained as a mathematical physicist. I still like writing about #GeneralRelativity and #QuantumGravity, but I love learning about anything in the domains of pure or applied math. I also use #Mizar for formalizing #FiniteGroupTheory and have been studying #FluidMechanics during the pandemic.

Lists

Timeline

thmprover has no activity yet