The following pages link to (Q3943565):
Displayed 9 items.
- An application of grossone to the study of a family of tilings of the hyperbolic plane (Q440656) (← links)
- The indecomposability problem in binary morphology: an algebraic approach (Q960487) (← links)
- On the group of isometries of the plane with generalized absolute value metric (Q1024955) (← links)
- A note on city block distance (Q1272733) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Some Remarks on the Group of Isometries of a Metric Space (Q2905763) (← links)
- (Q4627618) (← links)
- Linear time algorithms for testing approximate congruence in the plane (Q6118593) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)