Gadgil, Siddhartha; TADIPATRI, ANAND
(Indian Academy of Sciences, 2022-05)
Tarski showed in the 1950s that (first-order) questions in Euclidean geometry could be answered algorithmically. Algorithms for doing this have greatly improved over the decades but still have high complexity (in terms of ...