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