TY  - RPRT
TI  - A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm
AU  - Katherine Cordwell
AU  - Yong Kiam Tan
AU  - André Platzer
PY  - 2021
DO  - 10.4230/lipics.itp.2021.14
UR  - https://arxiv.org/abs/2102.03003
ID  - 2102.03003
ER  -