Pages that link to "Item:Q4315322"
From MaRDI portal
The following pages link to Ternary Operations as Primitive Notions for Constructive Plane Geometry V (Q4315322):
Displaying 16 items.
- The principle of duality in Euclidean and in absolute geometry (Q523404) (← links)
- On M. T. Calapso's characterization of the metric of an absolute plane (Q1021353) (← links)
- A representation theorem for translation-Hjelmslev-planes with reflections. (Q1207025) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- An axiom system for Lingenberg's metric-Euclidean planes (Q1775245) (← links)
- On the constructive geometry of Euclidean planes (Q1969624) (← links)
- Two statements characterizing the Euclidean metric of a metric plane (Q2106407) (← links)
- Orthogonality as single primitive notion for metric planes (Q2381801) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY (Q3796303) (← links)
- Rectangular planes with meeting lines (Q3990517) (← links)
- Ternary operations as primitive notions for constructive plane geometry III (Q4304122) (← links)
- Ternary Operations as Primitive Notions for Constructive Plane Geometry IV (Q4304152) (← links)
- Metric Geometries in an Axiomatic Perspective (Q4607237) (← links)
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 (Q6561358) (← links)
