International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library

DOI10.1142/9789813272880_0041MaRDI QIDQ5122016zbMATH OpenOpenAlexFDO

Authors Thierry Bouche, Gadadhar Misra, Alf Onshuus, Stephen M. Watt, Liu Zheng, Patrick Ion

Publication date 22 September 2020

Published in Proceedings of the International Congress of Mathematicians (ICM 2018) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789813272880_0041

zbMATH Keywords

machine proof

Mathematics Subject Classification ID

Digital mathematics libraries and repositories (68V35)

Recommendations

• The global digital mathematics library and the international mathematical knowledge trust
• The effort to realize a global digital mathematics library
• Foreword to the special issue on authoring, digitalization and management of mathematical knowledge
• The GDML and EuKIM projects: short report on the initiative
• scientific article; zbMATH DE number 2024860

Cited in

(6)

• IMAGINARY panel: math communication for the future -- a vision slam
• The International Mathematical-Union -- issues and perspectives
• Foreword to the special issue on authoring, digitalization and management of mathematical knowledge
• The global digital mathematics library and the international mathematical knowledge trust
• The effort to realize a global digital mathematics library
• scientific article; zbMATH DE number 2353877 (Why is no real title available?)

This page was built for publication: International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5122016)