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}
}