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

DOI10.1142/9789813272880_0041zbMath1452.68264OpenAlexW2914663688MaRDI QIDQ5122016

Stephen M. Watt, Alf Onshuus, Liu Zheng, Thierry Bouche, Gadadhar Misra, Patrick D. F. 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)

This page was built for publication: INTERNATIONAL MATHEMATICAL KNOWLEDGE TRUST IMKT: AN UPDATE ON THE GLOBAL DIGITAL MATHEMATICS LIBRARY