@article{beeson2022,
	author = {Michael Beeson},
	date-added = {2021-03-12 08:22:28 -0800},
	date-modified = {2022-07-27 11:03:24 -0700},
	doi = {10.1080/00029890.2022.2069985},
	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":"HzoBHeD8NCWd8nMju","bibbaseid":"beeson-euclidaftercomputerproofchecking-2022","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-27 11:03:24 -0700","doi":"10.1080/00029890.2022.2069985","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-27 11:03:24 -0700},\n\tdoi = {10.1080/00029890.2022.2069985},\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":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":[],"search_terms":["euclid","computer","proof","checking","beeson"],"title":"Euclid after computer proof-checking","year":2022}