INTERNATIONAL MATHEMATICAL KNOWLEDGE TRUST IMKT: AN UPDATE ON THE GLOBAL DIGITAL MATHEMATICS LIBRARY

DOI10.1142/9789813272880_0041zbMATH Open1452.68264OpenAlexW2914663688MaRDI QIDQ5122016FDOQ5122016

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

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)

Cited In (2)

• The global digital mathematics library and the international mathematical knowledge trust
• 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)