The Role of Computations in MathematicsAuthorsB. F. NielsenStatusPublishedPublication typePresentationYear of publication1997JournalA lecture presented at Department of Informatics, University of Oslo, NorwayPublisher-Citation key12095Google Scholar BibTex