×

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).
Summary: A Panel at the 2018 International Congress of Mathematicians concerning the efforts to realize the dream of a Global Digital Mathematics Library consisted of Thierry Bouche, Gadadhar Misra, Alf A. Onshuus, Stephen M. Watt and Liu Zheng and was moderated by the writer of the lines below as recorder. This report contains a description setting the stage for the panel, summaries of the panelists’ statements and of some questions and answers at the session as well as at a later open opportunity for further discussion.
For the entire collection see [Zbl 1436.00059].

MSC:

68V35 Digital mathematics libraries and repositories

Keywords:

machine proof
PDFBibTeX XMLCite
Full Text: DOI