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