Matthew England. Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. In Ioannis Z. Emiris, Lihong Zhi, editors, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. pages 13, ACM, 2020. [doi]
@inproceedings{England20,
title = {Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning},
author = {Matthew England},
year = {2020},
doi = {10.1145/3373207.3403981},
url = {https://doi.org/10.1145/3373207.3403981},
researchr = {https://researchr.org/publication/England20},
cites = {0},
citedby = {0},
pages = {13},
booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
editor = {Ioannis Z. Emiris and Lihong Zhi},
publisher = {ACM},
isbn = {978-1-4503-7100-1},
}