Constructive geometrical reasoning and diagrams (Q375270): Difference between revisions

@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567843
@@ Property / cites work: Q3567843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3445850
@@ Property / cites work: Q3445850 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635941
@@ Property / cites work: Q5635941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234542
@@ Property / cites work: Q3234542 / rank @@
+Normal rank
@@ Property / cites work @@
+A common axiom set for classical and intuitionistic plane geometry
+Normal rank
@@ Property / cites work @@
+Q5574604
@@ Property / cites work: Q5574604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705389
@@ Property / cites work: Q3705389 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs, pictures, and Euclid
@@ Property / cites work: Proofs, pictures, and Euclid / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing geometric constructions
@@ Property / cites work: Axiomatizing geometric constructions / rank @@
+Normal rank
@@ Property / cites work @@
+PASCH’S PHILOSOPHY OF MATHEMATICS
@@ Property / cites work: PASCH’S PHILOSOPHY OF MATHEMATICS / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivity in Geometry
@@ Property / cites work: Constructivity in 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 @@
+Formalization of Hilbert's geometry of incidence and parallelism
+Normal rank