Towards an Independent Version of Tarski's System of Geometry.

Pierre Boutry Stéphane Kastenbaum Clément Saintier

Published in: CoRR (2024)

Keyphrases

case study
data structure
database
feature selection
viewpoint
geometric structure