×

Found 5 Documents (Results 1–5)

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field