Guo, Feng; Phạm, Ti’ên-Son On types of degenerate critical points of real polynomial functions. (English) Zbl 1451.13079 J. Symb. Comput. 99, 108-126 (2020). MSC: 13P10 14P10 65K05 68W30 PDFBibTeX XMLCite \textit{F. Guo} and \textit{T.-S. Phạm}, J. Symb. Comput. 99, 108--126 (2020; Zbl 1451.13079) Full Text: DOI arXiv
Huang, Zongyan; England, Matthew; Wilson, David J.; Bridge, James; Davenport, James H.; Paulson, Lawrence C. Using machine learning to improve cylindrical algebraic decomposition. (English) Zbl 1474.68464 Math. Comput. Sci. 13, No. 4, 461-488 (2019). MSC: 68W30 68T05 PDFBibTeX XMLCite \textit{Z. Huang} et al., Math. Comput. Sci. 13, No. 4, 461--488 (2019; Zbl 1474.68464) Full Text: DOI arXiv
Chen, Changbo; Moreno Maza, Marc Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (English) Zbl 1398.68695 J. Symb. Comput. 75, 74-93 (2016). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{C. Chen} and \textit{M. Moreno Maza}, J. Symb. Comput. 75, 74--93 (2016; Zbl 1398.68695) Full Text: DOI