Mathematical Knowledge Management
From MaRDI portal
Publication:5313079
DOI10.1007/b100478zbMath1108.68585OpenAlexW4234388457MaRDI QIDQ5313079
Mike Dewar, Daniele Turi, Olga Caprotti
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (2)
A survey on retrieval of mathematical knowledge ⋮ Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Uses Software
This page was built for publication: Mathematical Knowledge Management
