Pages that link to "Item:Q1770595"

The following pages link to The simplest axiom system for plane hyperbolic geometry (Q1770595):

Displaying 20 items.

• Logic for physical space. From antiquity to present day (Q382998) (← links)
• The simplest axiom system for hyperbolic geometry revisited, again (Q456972) (← links)
• The simplest axiom system for plane hyperbolic geometry revisited (Q539156) (← links)
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry (Q936611) (← links)
• A system of axioms for hyperbolic geometry (Q1021305) (← links)
• Projective-type axioms for the hyperbolic plane (Q1205444) (← links)
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity (Q1868171) (← links)
• The calculus of reflections and the order relation in hyperbolic geometry (Q1926114) (← links)
• On the simplicity of ordered geometry (Q1956325) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Axiomatizing geometric constructions (Q2480964) (← links)
• Fragments of Euclidean and hyperbolic geometry (Q2731727) (← links)
• Constructive axiomatization of plane hyperbolic geometry (Q2765570) (← links)
• On R. Baer's generalized hyperbolic planes (Q2770598) (← links)
• (Q4007780) (← links)
• (Q4322109) (← links)
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI (Q4844513) (← links)
• 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)
• Simpler foundations for the hyperbolic plane (Q6073705) (← links)
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 (Q6561358) (← links)