Axiomatizing geometric constructions
From MaRDI portal
Recommendations
- The axioms of constructive geometry
- Axiomatic geometry
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
- Geometry and the axiomatic method
- Constructive axiomatization of plane hyperbolic geometry
- Constructibility and Geometry
- Publication:4488085
- Axiomatizations of hyperbolic and absolute geometries
- Constructive geometry
Cites work
- scientific article; zbMATH DE number 2133993 (Why is no real title available?)
- scientific article; zbMATH DE number 3119692 (Why is no real title available?)
- scientific article; zbMATH DE number 3151263 (Why is no real title available?)
- scientific article; zbMATH DE number 3152673 (Why is no real title available?)
- scientific article; zbMATH DE number 3848113 (Why is no real title available?)
- scientific article; zbMATH DE number 3861906 (Why is no real title available?)
- scientific article; zbMATH DE number 3899653 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 3940125 (Why is no real title available?)
- scientific article; zbMATH DE number 3943758 (Why is no real title available?)
- scientific article; zbMATH DE number 4063933 (Why is no real title available?)
- scientific article; zbMATH DE number 3183009 (Why is no real title available?)
- scientific article; zbMATH DE number 3686260 (Why is no real title available?)
- scientific article; zbMATH DE number 3764644 (Why is no real title available?)
- scientific article; zbMATH DE number 53340 (Why is no real title available?)
- scientific article; zbMATH DE number 3466105 (Why is no real title available?)
- scientific article; zbMATH DE number 3491746 (Why is no real title available?)
- scientific article; zbMATH DE number 3492141 (Why is no real title available?)
- scientific article; zbMATH DE number 3590964 (Why is no real title available?)
- scientific article; zbMATH DE number 3627176 (Why is no real title available?)
- scientific article; zbMATH DE number 1289887 (Why is no real title available?)
- scientific article; zbMATH DE number 560929 (Why is no real title available?)
- scientific article; zbMATH DE number 1110791 (Why is no real title available?)
- scientific article; zbMATH DE number 1461211 (Why is no real title available?)
- scientific article; zbMATH DE number 218495 (Why is no real title available?)
- scientific article; zbMATH DE number 204990 (Why is no real title available?)
- scientific article; zbMATH DE number 1932164 (Why is no real title available?)
- scientific article; zbMATH DE number 9972 (Why is no real title available?)
- scientific article; zbMATH DE number 3012555 (Why is no real title available?)
- scientific article; zbMATH DE number 3446383 (Why is no real title available?)
- scientific article; zbMATH DE number 2114364 (Why is no real title available?)
- scientific article; zbMATH DE number 3206725 (Why is no real title available?)
- scientific article; zbMATH DE number 3227670 (Why is no real title available?)
- scientific article; zbMATH DE number 3280048 (Why is no real title available?)
- scientific article; zbMATH DE number 3286020 (Why is no real title available?)
- scientific article; zbMATH DE number 3291816 (Why is no real title available?)
- scientific article; zbMATH DE number 3363463 (Why is no real title available?)
- scientific article; zbMATH DE number 3401716 (Why is no real title available?)
- scientific article; zbMATH DE number 3199290 (Why is no real title available?)
- scientific article; zbMATH DE number 3033629 (Why is no real title available?)
- scientific article; zbMATH DE number 3048723 (Why is no real title available?)
- scientific article; zbMATH DE number 3054900 (Why is no real title available?)
- scientific article; zbMATH DE number 3054901 (Why is no real title available?)
- scientific article; zbMATH DE number 3059284 (Why is no real title available?)
- scientific article; zbMATH DE number 3068168 (Why is no real title available?)
- scientific article; zbMATH DE number 3072587 (Why is no real title available?)
- scientific article; zbMATH DE number 3097941 (Why is no real title available?)
- scientific article; zbMATH DE number 3107601 (Why is no real title available?)
- A common axiom set for classical and intuitionistic plane geometry
- A constructive theory of ordered affine geometry
- A mathematical theory of origami constructions and numbers
- Algorithmic properties of structures
- An Instrument in Hyperbolic Geometry
- Analoga der Steinerschen Konstruktion in einer absoluten Geometrie
- Another Constructive Axiomatization of Euclidean Planes
- Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
- Axioms for Absolute Geometry
- Bemerkungen zu meiner Arbeit: 'Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene'
- Constructions In Hyperbolic Geometry
- Constructions Using a Compass and Twice-Notched Straightedge
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
- Constructive axiomatization of plane hyperbolic geometry
- Constructive mathematics and computer programming
- Constructivity in Geometry
- Cut Elimination in the Presence of Axioms
- Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
- Die Postulate und Konstruktionen in der frühgriechischen Geometrie
- Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie
- Die metrische Form in der absoluten und der elliptischen Geometrie
- Duplicating the cube and other notes on constructions in the hyperbolic plane
- EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY
- Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene
- Eine Begründung der hyperbolischen Geometrie
- Eine Kennzeichnung der nicht Fanoschen Rechtseitebenen durch Inzidenz, Parallelität und Kongruenz
- Eine Konstruierbarkeitsfrage für hyperbolische Ebenen
- Eine Winkelmetrik zur Begründung euklidisch-metrischer Ebenen
- Euclidean Constructions and the Geometry of Origami
- Folding Quartic Roots
- Fragments of Euclidean and hyperbolic geometry
- Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. I, II
- Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. III
- Groups and plane geometry
- Introduction to model theory and to the metamathematics of algebra
- Konstruktion mit Hilfe eines Zirkels von beschränkter Öffnung in der hyperbolischen Geometrie.
- Konstruktionen allein mit dem Zirkel in der hyperbolischen Ebene.
- Konstruktionen in der hyperbolischen Geometrie
- Konstruktionen mit dem Parallellineal in der hyperbolischen Ebene.
- Mohr-Mascheroni as an axiomatizability statement
- New gauge constructions of perpendiculars without assuming the parallel axiom
- ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE
- On the Euclidean geometry of the double-edged ruler
- On the constructive geometry of Euclidean planes
- Properties Preserved under Definitional Equivalence and Interpretations
- Simplifying von Plato's axiomatization of constructive apartness geometry
- Structural proof theory. With an appendix by Aarne Ranta
- Tarski's System of Geometry
- Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
- Ternary Operations as Primitive Notions for Constructive Plane Geometry V
- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
- Ternary operations as primitive notions for constructive plane geometry III
- The Fundamental Theorems of Elementary Geometry. An Axiomatic Analysis
- The axioms of constructive geometry
- The simplest axiom system for plane hyperbolic geometry
- Using the prover ANDP to simplify orthogonality.
- What can we do with only a pair of rusty compasses?
Cited in
(27)- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
- The axiomatics of ordered geometry: I. Ordered incidence spaces
- Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
- Automated triangle constructions in hyperbolic geometry
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
- Fragments of Euclidean and hyperbolic geometry
- Mohr-Mascheroni as an axiomatizability statement
- Quantifier elimination for elementary geometry and elementary affine geometry
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
- Constructive axiomatization of plane hyperbolic geometry
- On the constructive geometry of Euclidean planes
- Towards understanding triangle construction problems
- Computer theorem proving for verifiable solving of geometric construction problems
- Abstraction and Intuition in Peano's Axiomatizations of Geometry
- Constructibility and Geometry
- Finitism in geometry
- scientific article; zbMATH DE number 6007782 (Why is no real title available?)
- A constructive version of Tarski's geometry
- On automating triangle constructions in absolute and hyperbolic geometry
- Constructive geometrical reasoning and diagrams
- Another Constructive Axiomatization of Euclidean Planes
- Alexandrov-Zeeman type theorems expressed in terms of definability
- On the Euclidean geometry of the double-edged ruler
- Quantifier-free axioms for constructive affine plane geometry
- scientific article; zbMATH DE number 2133993 (Why is no real title available?)
- Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries
This page was built for publication: Axiomatizing geometric constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2480964)
