Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas Identifying the parametric occurrence of multiple steady states for some biological networks. (English) Zbl 1442.92056 J. Symb. Comput. 98, 84-119 (2020). Reviewer: Amir Hashemi (Isfahan) MSC: 92C42 68W30 92-08 PDFBibTeX XMLCite \textit{R. Bradford} et al., J. Symb. Comput. 98, 84--119 (2020; Zbl 1442.92056) Full Text: DOI arXiv
England, Matthew; Florescu, Dorian Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. (English) Zbl 1428.68399 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 93-108 (2019). MSC: 68W30 68T05 PDFBibTeX XMLCite \textit{M. England} and \textit{D. Florescu}, Lect. Notes Comput. Sci. 11617, 93--108 (2019; Zbl 1428.68399) Full Text: DOI arXiv
England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. (English) Zbl 1455.92058 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 93-108 (2017). MSC: 92C42 68W30 PDFBibTeX XMLCite \textit{M. England} et al., Lect. Notes Comput. Sci. 10490, 93--108 (2017; Zbl 1455.92058) Full Text: DOI arXiv
Á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
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. (English) Zbl 1304.68224 Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 92-107 (2014). MSC: 68W30 68T05 68T20 PDFBibTeX XMLCite \textit{Z. Huang} et al., Lect. Notes Comput. Sci. 8543, 92--107 (2014; Zbl 1304.68224) Full Text: DOI arXiv