Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel, Lauren M. White, Aaron Dutle

Browse the full CPP paper archive.