Clément Saintier

According to our database, Clément Saintier authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Pierre Boutry, Stéphane Kastenbaum, Clément Saintier

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023