zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 451-457 (2016).
MSC:  68V30 68T30
BibTeX Cite
Full Text: DOI
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, 117-131 (2016).
MSC:  68U35 68T30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication