Ion, Patrick D. F.; Bouche, Thierry; Misra, Gadadhar; Onshuus, Alf A.; Watt, Stephen M.; Zheng, Liu 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 \textit{P. D. F. Ion} et al., in: 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; Zbl 1452.68264) Full Text: DOI
Ion, Patrick D. F.; Watt, Stephen M. 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 \textit{P. D. F. Ion} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 10383, 56--69 (2017; Zbl 1367.68335) Full Text: DOI