TY  - RPRT
TI  - Formal Verification of Semi-Algebraic Sets and Real Analytic Functions
AU  - J Tanner Slagel
AU  - Lauren White
AU  - Aaron M Dutle
UR  - https://ntrs.nasa.gov/citations/20205011862
ID  - 20205011862
ER  -