Axiomatizing geometric constructions (Q2480964): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2007.02.001
@@ Property / DOI: 10.1016/j.jal.2007.02.001 / rank @@
-Normal rank
@@ Property / cites work @@
+An Instrument in Hyperbolic Geometry
@@ Property / cites work: An Instrument in Hyperbolic Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical theory of origami constructions and numbers
+Normal rank
@@ Property / cites work @@
+Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. III
+Normal rank
@@ Property / cites work @@
+Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. I, II
+Normal rank
@@ Property / cites work @@
+Q5787958
@@ Property / cites work: Q5787958 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Konstruierbarkeitsfrage für hyperbolische Ebenen
+Normal rank
@@ Property / cites work @@
+Q5667677
@@ Property / cites work: Q5667677 / rank @@
+Normal rank
@@ Property / cites work @@
+Die metrische Form in der absoluten und der elliptischen Geometrie
+Normal rank
@@ Property / cites work @@
+The Fundamental Theorems of Elementary Geometry. An Axiomatic Analysis
+Normal rank
@@ Property / cites work @@
+Constructions Using a Compass and Twice-Notched Straightedge
+Normal rank
@@ Property / cites work @@
+Q5811697
@@ Property / cites work: Q5811697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4826092
@@ Property / cites work: Q4826092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3797795
@@ Property / cites work: Q3797795 / rank @@
+Normal rank
@@ Property / cites work @@
+Duplicating the cube and other notes on constructions in the hyperbolic plane
+Normal rank
@@ Property / cites work @@
+Folding Quartic Roots
@@ Property / cites work: Folding Quartic Roots / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5569439
@@ Property / cites work: Q5569439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772159
@@ Property / cites work: Q4772159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074367
@@ Property / cites work: Q4074367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4695319
@@ Property / cites work: Q4695319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515972
@@ Property / cites work: Q5515972 / rank @@
+Normal rank
@@ Property / cites work @@
+Euclidean Constructions and the Geometry of Origami
+Normal rank
@@ Property / cites work @@
+Q5794100
@@ Property / cites work: Q5794100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5735620
@@ Property / cites work: Q5735620 / rank @@
+Normal rank
@@ Property / cites work @@
+EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY
@@ Property / cites work: EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270255
@@ Property / cites work: Q3270255 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions In Hyperbolic Geometry
@@ Property / cites work: Constructions In Hyperbolic Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3881453
@@ Property / cites work: Q3881453 / rank @@
+Normal rank
@@ Property / cites work @@
+Analoga der Steinerschen Konstruktion in einer absoluten Geometrie
+Normal rank
@@ Property / cites work @@
+Q3234542
@@ Property / cites work: Q3234542 / rank @@
+Normal rank
@@ Property / cites work @@
+Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
+Normal rank
@@ Property / cites work @@
+Eine Begründung der hyperbolischen Geometrie
@@ Property / cites work: Eine Begründung der hyperbolischen Geometrie / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715068
@@ Property / cites work: Q3715068 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying von Plato's axiomatization of constructive apartness geometry
+Normal rank
@@ Property / cites work @@
+Using the prover ANDP to simplify orthogonality.
@@ Property / cites work: Using the prover ANDP to simplify orthogonality. / rank @@
+Normal rank
@@ Property / cites work @@
+A common axiom set for classical and intuitionistic plane geometry
+Normal rank
@@ Property / cites work @@
+Q3330030
@@ Property / cites work: Q3330030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713272
@@ Property / cites work: Q4713272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375188
@@ Property / cites work: Q4375188 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946716
@@ Property / cites work: Q3946716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5574604
@@ Property / cites work: Q5574604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4756007
@@ Property / cites work: Q4756007 / 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 @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5836673
@@ Property / cites work: Q5836673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5773363
@@ Property / cites work: Q5773363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798434
@@ Property / cites work: Q5798434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5794099
@@ Property / cites work: Q5794099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849856
@@ Property / cites work: Q3849856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807286
@@ Property / cites work: Q5807286 / rank @@
+Normal rank
@@ Property / cites work @@
+Ternary operations as primitive notions for constructive plane geometry III
+Normal rank
@@ Property / cites work @@
+Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
+Normal rank
@@ Property / cites work @@
+Ternary Operations as Primitive Notions for Constructive Plane Geometry V
+Normal rank
@@ Property / cites work @@
+Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
+Normal rank
@@ Property / cites work @@
+On the constructive geometry of Euclidean planes
@@ Property / cites work: On the constructive geometry of Euclidean planes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3102222
@@ Property / cites work: Q3102222 / rank @@
+Normal rank
@@ Property / cites work @@
+Another Constructive Axiomatization of Euclidean Planes
+Normal rank
@@ Property / cites work @@
+Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
+Normal rank
@@ Property / cites work @@
+Constructive Axiomatization of Plane Hyperbolic Geometry
+Normal rank
@@ Property / cites work @@
+Q2770187
@@ Property / cites work: Q2770187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2731727
@@ Property / cites work: Q2731727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4709437
@@ Property / cites work: Q4709437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159141
@@ Property / cites work: Q3159141 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for plane hyperbolic geometry
+Normal rank
@@ Property / cites work @@
+Groups and plane geometry
@@ Property / cites work: Groups and plane geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
+Normal rank
@@ Property / cites work @@
+Properties Preserved under Definitional Equivalence and Interpretations
+Normal rank
@@ Property / cites work @@
+Q5565094
@@ Property / cites work: Q5565094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636801
@@ Property / cites work: Q5636801 / rank @@
+Normal rank
@@ Property / cites work @@
+Konstruktionen in der hyperbolischen Geometrie
@@ Property / cites work: Konstruktionen in der hyperbolischen Geometrie / rank @@
+Normal rank
@@ Property / cites work @@
+ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE
+Normal rank
@@ Property / cites work @@
+Axioms for Absolute Geometry
@@ Property / cites work: Axioms for Absolute Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074001
@@ Property / cites work: Q4074001 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q4243919
@@ Property / cites work: Q4243919 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Winkelmetrik zur Begründung euklidisch-metrischer Ebenen
+Normal rank
@@ Property / cites work @@
+Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie
+Normal rank
@@ Property / cites work @@
+Q4051211
@@ Property / cites work: Q4051211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3317659
@@ Property / cites work: Q3317659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711249
@@ Property / cites work: Q3711249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003562
@@ Property / cites work: Q4003562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189274
@@ Property / cites work: Q4189274 / rank @@
+Normal rank
@@ Property / cites work @@
+Konstruktionen mit dem Parallellineal in der hyperbolischen Ebene.
+Normal rank
@@ Property / cites work @@
+Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene
+Normal rank
@@ Property / cites work @@
+Bemerkungen zu meiner Arbeit: 'Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene'
+Normal rank
@@ Property / cites work @@
+Konstruktionen allein mit dem Zirkel in der hyperbolischen Ebene.
+Normal rank
@@ Property / cites work @@
+Konstruktion mit Hilfe eines Zirkels von beschränkter Öffnung in der hyperbolischen Geometrie.
+Normal rank
@@ Property / cites work @@
+Q4159899
@@ Property / cites work: Q4159899 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Kennzeichnung der nicht Fanoschen Rechtseitebenen durch Inzidenz, Parallelität und Kongruenz
+Normal rank
@@ Property / cites work @@
+New gauge constructions of perpendiculars without assuming the parallel axiom
+Normal rank
@@ Property / cites work @@
+Q3268764
@@ Property / cites work: Q3268764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289328
@@ Property / cites work: Q4289328 / 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 @@
+Q5846410
@@ Property / cites work: Q5846410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694208
@@ Property / cites work: Q4694208 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Postulate und Konstruktionen in der frühgriechischen Geometrie
+Normal rank
@@ Property / cites work @@
+Q5333662
@@ Property / cites work: Q5333662 / 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 @@
+A constructive theory of ordered affine geometry
@@ Property / cites work: A constructive theory of ordered affine geometry / rank @@
+Normal rank
@@ Property / cites work @@
+What can we do with only a pair of rusty compasses?
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2007.02.001
@@ Property / DOI: 10.1016/J.JAL.2007.02.001 / rank @@
+Normal rank