×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
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, 227-242 (2019).
MSC:  68T35 68T30
PDF BibTeX XML Cite
Full Text: DOI