Mathematical Knowledge Management
From MaRDI portal
Publication:5898509
DOI10.1007/11618027zbMath1151.68666OpenAlexW2480281325MaRDI QIDQ5898509
Andrea Kohlhase, Michael Kohlhase
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11618027
Related Items (3)
An evaluation of NLP methods to extract mathematical token descriptors ⋮ A Review of Mathematical Knowledge Management ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
Uses Software
This page was built for publication: Mathematical Knowledge Management
