@misc{indiciae688870edb2c7,
  title = {Real Number Proving in PVS},
  author = {J Tanner Slagel},
  url = {https://ntrs.nasa.gov/citations/20210017890},
  note = {Source identifier: 20210017890}
}