Tarskis_Geometry

MaRDI QIDQ43926swMATHFDO

Official website https://www.isa-afp.org/entries/Tarskis_Geometry.html

Cited in

(2)

• Tarski geometry axioms. III
• Group of homography in real projective plane

This page was built for software: Tarskis_Geometry