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

DOI10.1142/9789813272880_0041zbMATH Open1452.68264OpenAlexW2914663688MaRDI QIDQ5122016FDOQ5122016

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

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

zbMATH Keywords

machine proof

Mathematics Subject Classification ID

Digital mathematics libraries and repositories (68V35)

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
• Title not available (Why is that?)

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)