‘Our modern society depends on correct mathematics’
Marc Bezem and Bjørn Ian Dundas use computers to verify mathematical proofs. ‘We believe our research can change the methodology of mathematics’, Bezem says, as their year at CAS comes to an end.
Here, we publish articles about the Centre and its activities, and interviews with our scholars about their time at CAS and the progress and results of their research.