The elementary geometry of a triangular world with hexagonal circles.

Pambuccian, Victor

Displaying similar documents to “The elementary geometry of a triangular world with hexagonal circles.”

Congruence, Similarity, and Symmetries of Geometric Objects.

Emo Welzl, H. Alt, Kurt Mehlhorn, Hubert Wagener (1988)

Discrete & computational geometry

Similarity:

Tarski Geometry Axioms – Part II

Roland Coghetto, Adam Grabowski (2016)

Formalized Mathematics

Similarity:

In our earlier article [12], the first part of axioms of geometry proposed by Alfred Tarski [14] was formally introduced by means of Mizar proof assistant [9]. We defined a structure TarskiPlane with the following predicates: of betweenness between (a ternary relation), of congruence of segments equiv (quarternary relation), which satisfy the following properties: congruence symmetry (A1), congruence equivalence relation (A2), congruence identity (A3), segment construction (A4), SAS...