Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. (English) Zbl 1509.68243 J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021). MSC: 68T20 68V15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021; Zbl 1509.68243) Full Text: DOI arXiv
England, Matthew; Bradford, Russell; Davenport, James H. Cylindrical algebraic decomposition with equational constraints. (English) Zbl 1432.68599 J. Symb. Comput. 100, 38-71 (2020). MSC: 68W30 68Q25 PDFBibTeX XMLCite \textit{M. England} et al., J. Symb. Comput. 100, 38--71 (2020; Zbl 1432.68599) Full Text: DOI arXiv
Davenport, James H. (ed.); England, Matthew (ed.); Griggio, Alberto (ed.); Sturm, Thomas (ed.); Tinelli, Cesare (ed.) Editorial: Symbolic computation and satisfiability checking. (English) Zbl 1444.68006 J. Symb. Comput. 100, 1-10 (2020). MSC: 68-06 68R07 68T20 68W30 00B15 PDFBibTeX XMLCite \textit{J. H. Davenport} (ed.) et al., J. Symb. Comput. 100, 1--10 (2020; Zbl 1444.68006) Full Text: DOI
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 9791, 28--43 (2016; Zbl 1344.68198) Full Text: DOI arXiv