Mathematical Knowledge Management
From MaRDI portal
Publication:5898510
DOI10.1007/11618027zbMath1151.68669MaRDI QIDQ5898510
Carsten Ullrich, Paul Libbrecht, Shahid Manzoor, Erica Melis
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
68T30: Knowledge representation
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
97U40: Problem books, competitions, examinations (aspects of mathematics education)
Related Items
View of Computer Algebra Data from Coq, Symbolic Computation Software Composability, Representation and automated transformation of geometric statements, OpenMath in SCIEnce: SCSCP and POPCORN