Sort by: Order: Results:

  • 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 ...

Search Repository

Advanced Search


My Account