Identity testing for radical expressions (Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022)

(untitled) - Balaji, N; Nosan, K; Shirmohammadi, M; Worrell, J