J. Tanner Slagel, Lauren M. White, Aaron Dutle: Formal verification of semi-algebraic sets and real analytic functions. CPP 2021: 278-290