conf.researchr.org / Oliver Nash

Registered user since Fri 26 Nov 2021

Name:Oliver Nash
Affiliation:Imperial College, London
Personal website: http://olivernash.org
Research interests:Geometry, Formalisation of mathematics

Contributions