Formally verifying algorithms for real quantifier elimination

@PHDTHESIS{Kosaian23,
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2023/CMU-CS-23-130.pdf},

  author    = {Katherine Kosaian},
  school    = {Computer Science Department, School of Computer Science, Carnegie Mellon University},
  title     = {Formally Verifying Algorithms for Real Quantifier Elimination},
  year      = {2023},
  url       = {http://reports-archive.adm.cs.cmu.edu/anon/2023/CMU-CS-23-130.pdf},
}```