×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 296-315 (2015).
MSC:  68P20 68T30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software