A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
Conference proceeding (January 2023)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Conference proceeding (January 2023)
Preprint in arXiv (September 2022)
Preprint in arXiv (February 2022)