@article{beeson2022,
	author = {Michael Beeson},
	date-added = {2021-03-12 08:22:28 -0800},
	date-modified = {2022-07-26 23:14:54 -0700},
	journal = {The American Mathematical Monthly},
	number = {7},
	pages = {623-646},
	title = {{E}uclid after computer proof-checking},
	url_pdf = {euclid2020.pdf},
	volume = {129},
	year = {2022}}

{"_id":"uHoErKcGB3qDKFAJR","bibbaseid":"beeson-euclidaftercomputerproofchecking-2022","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2021-03-12 08:22:28 -0800","date-modified":"2022-07-26 23:14:54 -0700","journal":"The American Mathematical Monthly","number":"7","pages":"623-646","title":"Euclid after computer proof-checking","url_pdf":"euclid2020.pdf","volume":"129","year":"2022","bibtex":"@article{beeson2022,\n\tauthor = {Michael Beeson},\n\tdate-added = {2021-03-12 08:22:28 -0800},\n\tdate-modified = {2022-07-26 23:14:54 -0700},\n\tjournal = {The American Mathematical Monthly},\n\tnumber = {7},\n\tpages = {623-646},\n\ttitle = {{E}uclid after computer proof-checking},\n\turl_pdf = {euclid2020.pdf},\n\tvolume = {129},\n\tyear = {2022}}\n\n","author_short":["Beeson, M."],"key":"beeson2022","id":"beeson2022","bibbaseid":"beeson-euclidaftercomputerproofchecking-2022","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/euclid2020.pdf"},"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2021-03-16T15:46:36.849Z","downloads":38,"keywords":[],"search_terms":["euclid","computer","proof","checking","beeson"],"title":"Euclid after computer proof-checking","year":2022,"dataSources":["v9esbf6gQ8h64d3NA"]}