Gadgil, S and Tadipatri, A (2022) Euclidean Geometry by High-performance Solvers? In: Resonance, 27 (5). pp. 801-816.