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

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...

Geometry and vision.

Verstraelen, Paul (2005)

Balkan Journal of Geometry and its Applications (BJGA)

Similarity: