A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985): Difference between revisions

@@ Property / arXiv ID @@
+.4315
@@ Property / arXiv ID: 0810.4315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705389
@@ Property / cites work: Q3705389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703813
@@ Property / cites work: Q2703813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3438379
@@ Property / cites work: Q3438379 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating higher-order clauses to first-order clauses
+Normal rank
@@ Property / cites work @@
+System Description: Spass Version 3.0
@@ Property / cites work: System Description: Spass Version 3.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving open questions and other challenge problems using proof sketches
+Normal rank
@@ Property / cites work @@
+Q4388953
@@ Property / cites work: Q4388953 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851833
@@ Property / cites work: Q2851833 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
+Normal rank
@@ Property / cites work @@
+Eudoxos and Dedekind: On the ancient Greek theory of ratios and its relation to modern mathematics
+Normal rank
@@ Property / cites work @@
+Q5431031
@@ Property / cites work: Q5431031 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive theory of ordered affine geometry
@@ Property / cites work: A constructive theory of ordered affine geometry / rank @@
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234138
@@ Property / cites work: Q3234138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256581
@@ Property / cites work: Q4256581 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1990493960
@@ Property / OpenAlex ID: W1990493960 / rank @@
+Normal rank