Euclid after Computer Proof-Checking (Q5094535): Difference between revisions

@@ Property / author @@
-Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113853655
@@ Property / Wikidata QID: Q113853655 / rank @@
+Normal rank
@@ Property / author @@
+Michael J. Beeson
@@ Property / author: Michael J. Beeson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3137909112
@@ Property / OpenAlex ID: W3137909112 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-checking Euclid
@@ Property / cites work: Proof-checking Euclid / rank @@
+Normal rank
@@ Property / cites work @@
+Finding proofs in Tarskian geometry
@@ Property / cites work: Finding proofs in Tarskian geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of the arithmetization of Euclidean plane geometry and applications
+Normal rank
@@ Property / cites work @@
+Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
+Normal rank
@@ Property / cites work @@
+A synthetic proof of Pappus' theorem in Tarski's geometry
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Leibniz on the Continuity of Space
@@ Property / cites work: Leibniz on the Continuity of Space / rank @@
+Normal rank
@@ Property / cites work @@
+Euclid's common notions and the theory of equivalence
+Normal rank
@@ Property / cites work @@
+Q3234138
@@ Property / cites work: Q3234138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507983
@@ Property / cites work: Q5507983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270252
@@ Property / cites work: Q3270252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636801
@@ Property / cites work: Q5636801 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for Absolute Geometry. III
@@ Property / cites work: Axioms for Absolute Geometry. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189244
@@ Property / cites work: Q4189244 / rank @@
+Normal rank
@@ Property / cites work @@
+Euclid vindicated from every blemish. Edited and annotated by Vincenzo De Risi. Translated from the Italian by G. B. Halsted and L. Allegri
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Geography
@@ Property / cites work: Geography / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5094535