‘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.
Nyheter
Her publiserer vi nyheter om senteret og dets aktiviteter, så vel som intervjuer med våre forskere om forskningen deres og tiden på CAS.
Mange av nyhetene våre blir bare skrevet og publisert på engelsk, så søkefunksjonen vil kun benytte seg av engelsk som språk.
Om du ønsker å følge med på hva som skjer på CAS kan du melde deg på det månedlige nyhetsbrevet vårt (kun engelsk) >
Year & Month
