The BKR Decision Procedure for Univariate Real Arithmetic by Katherine Cordwell ๐, Yong Kiam Tan ๐ and Andrรฉ Platzer ๐ Apr 24