Pages that link to "Item:Q1770595"
From MaRDI portal
The following pages link to The simplest axiom system for plane hyperbolic geometry (Q1770595):
Displayed 7 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- The simplest axiom system for plane hyperbolic geometry revisited (Q539156) (← 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)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)