×

Found 2 Documents (Results 1–2)

International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library. (English) Zbl 1452.68264

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1157-1175 (2018).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 56-69 (2017).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software