Euclid after Computer Proof-Checking
From MaRDI portal
Publication:5094535
DOI10.1080/00029890.2022.2069985OpenAlexW3137909112WikidataQ113853655 ScholiaQ113853655MaRDI QIDQ5094535
Publication date: 3 August 2022
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.09623
Euclidean geometries (general) and generalizations (51M05) History of geometry (51-03) Philosophical aspects of logic and foundations (03A99)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age
- Geography
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- Euclid's common notions and the theory of equivalence
- A synthetic proof of Pappus' theorem in Tarski's geometry
- Finding proofs in Tarskian geometry
- Euclid vindicated from every blemish. Edited and annotated by Vincenzo De Risi. Translated from the Italian by G. B. Halsted and L. Allegri
- Proof-checking Euclid
- Leibniz on the Continuity of Space
- Tarski's System of Geometry
- Axioms for Absolute Geometry. III
