×

Found 2 Documents (Results 1–2)

100
MathJax

A survey on retrieval of mathematical knowledge. (English) Zbl 1417.68038

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 arXiv

Filter Results by …

Document Type

Year of Publication

Classification

all top 3

Software