@article{2021arXiv211200456V,
    doi = {10.48550/arXiv.2112.00456},
    Author = {{Vorobjov}, Nicolai},
    EID = {arXiv:2112.00456},
    EPrint = {2112.00456},
    File = {Lecture notes on complexity of quantifier elimination over the reals - 2112.00456 - a.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Mathematics - History and Overview, Computer Science - Symbolic Computation, Mathematics - Logic},
    Month = {December},
    Pages = {arXiv:2112.00456},
    PrimaryClass = {math.HO},
    Title = {{Lecture notes on complexity of quantifier elimination over the reals}},
    Year = {2021},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2021arXiv211200456V},
    bdsk-url-1 = {https://doi.org/10.48550/arXiv.2112.00456},
    date-added = {2023-02-03 21:31:03 +0100},
    date-modified = {2023-02-03 21:31:03 +0100}
}

@article{2021arXiv211200456V, doi = {10.48550/arXiv.2112.00456}, Author = {{Vorobjov}, Nicolai}, EID = {arXiv:2112.00456}, EPrint = {2112.00456}, File = {Lecture notes on complexity of quantifier elimination over the reals - 2112.00456 - a.pdf}, Journal = {arXiv e-prints}, Keywords = {Mathematics - History and Overview, Computer Science - Symbolic Computation, Mathematics - Logic}, Month = {December}, Pages = {arXiv:2112.00456}, PrimaryClass = {math.HO}, Title = {{Lecture notes on complexity of quantifier elimination over the reals}}, Year = {2021}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2021arXiv211200456V}, bdsk-url-1 = {https://doi.org/10.48550/arXiv.2112.00456}, date-added = {2023-02-03 21:31:03 +0100}, date-modified = {2023-02-03 21:31:03 +0100} }