@misc{indiciae51756d176554,
  title = {Formal Verification of Semi-Algebraic Sets and Real Analytic Functions},
  author = {J Tanner Slagel and Lauren White and Aaron M Dutle},
  url = {https://ntrs.nasa.gov/citations/20205011862},
  note = {Source identifier: 20205011862}
}