The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
From MaRDI portal
Publication:2819263
DOI10.1007/978-3-319-42432-3_58zbMath1434.68649MaRDI QIDQ2819263
Michael Kohlhase, Olaf Teschke, Wolfram Sperber, Deyan Ginev, Andrea Kohlhase, Mihnea Iancu, Tom Wiesing, Constantin Jucovshi, Akbar Oripov, Jürgen Schefter
Publication date: 28 September 2016
Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_58
Related Items
Uses Software