Computers and Proof In the final session of the Virtual HLF, as part of a discussion on the topic ‘Where can computer science and mathematics interact fruitfully?’, the conversation turned to the question of proof. In the words … 06. Oct 2020 | By Katie Steckles | 2 comments
Karen Uhlenbeck and Global Analysis – what is a manifold? As part of this year’s HLF, two alumni – Janelle C. Mason and Jaqueline Godoy Mesquita – interviewed 2019 Abel prize winner Karen Uhlenbeck. The first woman to receive the prize, Uhlenbeck talked about her … 02. Oct 2020 | By Katie Steckles | 61 comments
