@inproceedings{SWD21-CPP,
author = {Slagel, J. Tanner and White, Lauren and Dutle, Aaron},
year = {2021},
month = {January},
pages = {278-290},
title = {Formal verification of semi-algebraic sets and real analytic functions},
pages = {278--290},
Booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
doi = {10.1145/3437992.3439933}
}