Pages that link to "Item:Q2480964"

The following pages link to Axiomatizing geometric constructions (Q2480964):

Displaying 22 items.

• Constructive geometrical reasoning and diagrams (Q375270) (← links)
• A constructive version of Tarski's geometry (Q490871) (← links)
• The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
• Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
• On the constructive geometry of Euclidean planes (Q1969624) (← links)
• Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI (Q2413528) (← links)
• Alexandrov-Zeeman type theorems expressed in terms of definability (Q2474088) (← links)
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry (Q2707077) (← links)
• Fragments of Euclidean and hyperbolic geometry (Q2731727) (← links)
• Constructive axiomatization of plane hyperbolic geometry (Q2765570) (← links)
• Mohr-Mascheroni as an axiomatizability statement (Q2770187) (← links)
• Towards Understanding Triangle Construction Problems (Q2907319) (← links)
• (Q3115114) (← links)
• Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
• Abstraction and Intuition in Peano's Axiomatizations of Geometry (Q3401351) (← links)
• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI (Q4844513) (← links)
• Another Constructive Axiomatization of Euclidean Planes (Q4939400) (← links)
• Constructibility and Geometry (Q5213630) (← links)
• Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
• On automating triangle constructions in absolute and hyperbolic geometry (Q6653955) (← links)