TY  - RPRT
TI  - Real Number Proving in PVS
AU  - J Tanner Slagel
UR  - https://ntrs.nasa.gov/citations/20210017890
ID  - 20210017890
ER  -