{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:38:32Z","timestamp":1747175912100,"version":"3.40.5"},"reference-count":39,"publisher":"Informa UK Limited","issue":"7","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["The American Mathematical Monthly"],"published-print":{"date-parts":[[2022,8,9]]},"DOI":"10.1080\/00029890.2022.2069985","type":"journal-article","created":{"date-parts":[[2022,5,20]],"date-time":"2022-05-20T15:44:28Z","timestamp":1653061468000},"page":"623-646","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["Euclid after Computer Proof-Checking"],"prefix":"10.1080","volume":"129","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9259-1220","authenticated-orcid":false,"given":"Michael","family":"Beeson","sequence":"first","affiliation":[{"name":"Department of Mathematics, San Jos\u00e9 State University, One Washington Square, San Jos\u00e9, CA 95192, USA"}]}],"member":"301","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"journal-title":"arxiv.org\/abs\/2008.12643","year":"2020","author":"Beeson M.","key":"CIT0001"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-018-9606-x"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9392-2"},{"key":"CIT0004","unstructured":"Boutry, P. (2018). On the Formalization of Foundations of Geometry. Ph.D. thesis. Univ. of Strasbourg."},{"issue":"1","key":"CIT0005","first-page":"149","volume":"90","author":"Boutry P.","year":"2017","journal-title":"J. Symbolic Comput"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9422-8"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9374-4"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/s00407-015-0173-9"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25572-5_4"},{"journal-title":"Foundations of Science","first-page":"1","author":"De Risi V.","key":"CIT0010"},{"volume-title":"The Library of Alexandria: The History and Legacy of the Ancient World\u2019s Most Famous Library","year":"2014","author":"Editors C. R.","key":"CIT0011"},{"journal-title":"Encyclopedia Brittanica","year":"2020","author":"El-Abbadi M.","key":"CIT0012"},{"key":"CIT0013","volume-title":"The Elements of Euclid, viz. the first six books, together with the eleventh and the twelfth","author":"Euclid","year":"1787","edition":"7"},{"volume-title":"The Thirteen Books of The Elements","year":"1956","author":"Euclid","key":"CIT0014"},{"key":"CIT0015","first-page":"134","volume-title":"Computers and Thought","author":"Gelernter H.","year":"1963"},{"key":"CIT0016","first-page":"153","volume-title":"Computers and Thought","author":"Gelernter H.","year":"1963"},{"key":"CIT0017","unstructured":"Gupta, H. N. (1965). Contributions to the Axiomatic Foundations of Geometry. Ph.D. thesis. Univ. of California, Berkeley. Available through ProQuest, LLC."},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-22676-7"},{"volume-title":"A History of Greek Mathematics, vol. I: From Thales to Euclid","year":"1921","author":"Heath S. T.","key":"CIT0019"},{"volume-title":"Foundations of Geometry (Grundlagen der Geometrie)","year":"1960","author":"Hilbert D.","key":"CIT0020"},{"volume-title":"Abraham Lincoln and the Structure of Reason","year":"2010","author":"Hirsch D.","key":"CIT0021"},{"volume-title":"Life and Works of Guiseppe Peano","year":"2002","author":"Kennedy H.","key":"CIT0022"},{"volume-title":"The Life of Abraham Lincoln","year":"1901","author":"Ketcham H.","key":"CIT0023"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449485"},{"volume-title":"How Greek Science Passed to the Arabs","year":"2001","author":"O\u2019Leary D. L.","key":"CIT0025"},{"volume-title":"Vorlesung \u00fcber Neuere Geometrie","year":"1882","author":"Pasch M.","key":"CIT0026"},{"volume-title":"Principii de Geometria","year":"1889","author":"Peano G.","key":"CIT0027"},{"volume-title":"A Commentary on the First book of Euclid","year":"1970","key":"CIT0028"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1970-022-7"},{"key":"CIT0030","volume-title":"Logic for Mathematicians","author":"Rosser J. B.","year":"1978","edition":"2"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.2307\/3604768"},{"volume-title":"Autobiography of Bertrand Russell","year":"2000","author":"Russell B.","key":"CIT0032"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05966-2"},{"volume-title":"Hellenistic Science and Culture in the Last Three Centuries B.C","year":"1993","author":"Sarton G.","key":"CIT0034"},{"volume-title":"Teil II: Metamathematische Betrachtungen (Hochschultext)","year":"1983","author":"Schwabh\u00e4user W.","key":"CIT0035"},{"volume-title":"Geography","year":"2016","key":"CIT0036"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70017-5"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.2307\/421089"},{"volume-title":"Fondamenti di Geometria a Pi\u00f9 Dimensioni e a Pi\u00f9 Specie di Unit\u00e0 Rettilinee Esposti in Forma elementare. Lezioni per la Scuola di Magistero in Matematica","year":"1891","author":"Veronese G.","key":"CIT0039"}],"container-title":["The American Mathematical Monthly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00029890.2022.2069985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T04:02:00Z","timestamp":1659758520000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00029890.2022.2069985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,20]]},"references-count":39,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2022,8,9]]}},"alternative-id":["10.1080\/00029890.2022.2069985"],"URL":"https:\/\/doi.org\/10.1080\/00029890.2022.2069985","relation":{},"ISSN":["0002-9890","1930-0972"],"issn-type":[{"type":"print","value":"0002-9890"},{"type":"electronic","value":"1930-0972"}],"subject":[],"published":{"date-parts":[[2022,5,20]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uamm20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uamm20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2020-08-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-02-22","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-03-11","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-05-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}