@misc{12095,
  author = {Bj{\o}rn Nielsen},
  title = {The Role of Computations in Mathematics},
  year = {1997},
  journal = {A lecture presented at Department of Informatics, University of Oslo, Norway},
  month = {December},
}