Verified Quadratic Virtual Substitution for Real Arithmetic by Matias Scharager π§, Katherine Cordwell π§, Stefan Mitsch π§ and AndrΓ© Platzer π§ Oct 02
The BKR Decision Procedure for Univariate Real Arithmetic by Katherine Cordwell π, Yong Kiam Tan π and AndrΓ© Platzer π Apr 24