ADG 2023

14th International Conference on Automated Deduction in Geometry

Belgrade, Serbia, September 20-22, 2023