@article{freek2005b,
	Author = {Henk Barendregt and Freek Wiedijk},
	Date-Added = {2014-11-16 21:58:07 +0000},
	Date-Modified = {2014-11-16 22:00:12 +0000},
	Journal = {Transactions A of the Royal Society},
	Number = {1835},
	Pages = {2351--2375},
	Title = {The Challenge of Computer Mathematics},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/rspaper.pdf},
	Volume = {363},
	Year = {2005}}

{"_id":"oZaEW2wsJb4MkbYuY","bibbaseid":"barendregt-wiedijk-thechallengeofcomputermathematics-2005","author_short":["Barendregt, H.","Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Henk"],"propositions":[],"lastnames":["Barendregt"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 21:58:07 +0000","date-modified":"2014-11-16 22:00:12 +0000","journal":"Transactions A of the Royal Society","number":"1835","pages":"2351–2375","title":"The Challenge of Computer Mathematics","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/rspaper.pdf","volume":"363","year":"2005","bibtex":"@article{freek2005b,\n\tAuthor = {Henk Barendregt and Freek Wiedijk},\n\tDate-Added = {2014-11-16 21:58:07 +0000},\n\tDate-Modified = {2014-11-16 22:00:12 +0000},\n\tJournal = {Transactions A of the Royal Society},\n\tNumber = {1835},\n\tPages = {2351--2375},\n\tTitle = {The Challenge of Computer Mathematics},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/rspaper.pdf},\n\tVolume = {363},\n\tYear = {2005}}\n\n","author_short":["Barendregt, H.","Wiedijk, F."],"key":"freek2005b","id":"freek2005b","bibbaseid":"barendregt-wiedijk-thechallengeofcomputermathematics-2005","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/rspaper.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["challenge","computer","mathematics","barendregt","wiedijk"],"title":"The Challenge of Computer Mathematics","year":2005}